Kappa_terms.Pattern_decompiler
val patterns_of_mixture : debug_mode:bool -> Contact_map.t -> Kappa_site_graphs.Signature.s -> Pattern.PreEnv.t -> Kappa_site_graphs.Edges.t -> Pattern.PreEnv.t * Pattern.cc list