Module Kappa_terms.Pattern_decompiler
val patterns_of_mixture : debugMode:bool -> Contact_map.t -> Kappa_mixtures.Signature.s -> Pattern.PreEnv.t -> Kappa_mixtures.Edges.t -> Pattern.PreEnv.t * Pattern.cc list
Kappa_terms.Pattern_decompilerval patterns_of_mixture : debugMode:bool -> Contact_map.t -> Kappa_mixtures.Signature.s -> Pattern.PreEnv.t -> Kappa_mixtures.Edges.t -> Pattern.PreEnv.t * Pattern.cc list