sig
val connected_components_sum_of_ambiguous_mixture :
compileModeOn:bool ->
Contact_map.t ->
Pattern.PreEnv.t ->
?origin: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 :
compileModeOn:bool ->
Contact_map.t ->
Pattern.PreEnv.t ->
?origin:Operator.rev_dep ->
LKappa.rule_mixture ->
Raw_mixture.t ->
(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 * Operator.rev_dep option)
val patterns_of_mixture :
(int list * (int * int) list) array array ->
Signature.s ->
Pattern.PreEnv.t -> Edges.t -> Pattern.PreEnv.t * Pattern.cc list
val lkappa_of_elementary_rule :
Signature.s ->
Pattern.Env.t ->
Primitives.elementary_rule -> LKappa.rule_mixture * Raw_mixture.t
end