Module Snip

module Snip: sig .. end

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