Module `Kappa_terms.Pattern_compiler`

val connected_components_sum_of_ambiguous_mixture : debugMode:bool -> compileModeOn:bool -> Contact_map.t -> Pattern.PreEnv.t -> ?⁠origin:Kappa_generic_toolset.Operator.rev_dep -> LKappa.rule_mixture -> Pattern.PreEnv.t * ((Pattern.id * Pattern.cc) array * Instantiation.abstract Instantiation.test list list) list

val connected_components_sum_of_ambiguous_rule : debugMode:bool -> compileModeOn:bool -> Contact_map.t -> Pattern.PreEnv.t -> ?⁠origin:Kappa_generic_toolset.Operator.rev_dep -> LKappa.rule_mixture -> Raw_mixture.t -> (Kappa_generic_toolset.Operator.rev_dep option * (Pattern.id * Pattern.cc) array * Instantiation.abstract Instantiation.event * (Instantiation.abstract Primitives.Transformation.t list * Instantiation.abstract Primitives.Transformation.t list)) list * (Pattern.PreEnv.t * Kappa_generic_toolset.Operator.rev_dep option)

val lkappa_of_elementary_rule : Kappa_mixtures.Signature.s -> Pattern.Env.t -> Primitives.elementary_rule -> LKappa.rule_mixture * Raw_mixture.t

returns: : (r_mix,r_create)