Module Patterns_extra

module Patterns_extra: sig .. end

val raw_mixture_to_species : ?parameters:Remanent_parameters_sig.parameters ->
?sigs:Signature.s ->
Pattern.PreEnv.t ->
Raw_mixture.t ->
(int * int) list -> Pattern.PreEnv.t * Pattern.cc * Pattern.id
val mixture_to_pattern : ?parameters:Remanent_parameters_sig.parameters ->
?sigs:Signature.s ->
Pattern.PreEnv.t ->
LKappa.rule_mixture ->
(int * int) list -> Pattern.PreEnv.t * Pattern.cc * Pattern.id
val species_to_raw_mixture : ?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s -> Pattern.cc -> (Raw_mixture.t * (int * int) list) option
val pattern_to_mixture : ?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s ->
Pattern.cc -> (LKappa.rule_mixture * (int * int) list) option
val pattern_id_to_mixture : ?parameters:Remanent_parameters_sig.parameters ->
Model.t -> Pattern.id -> (LKappa.rule_mixture * (int * int) list) option
val pattern_id_to_cc : Model.t -> Pattern.id -> Pattern.cc option
val raw_mixture_to_lkappa_rule : Raw_mixture.t -> LKappa.rule
val species_to_lkappa_rule : ?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s -> Pattern.t -> LKappa.rule
val species_to_lkappa_rule_and_unspec : ?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s -> Pattern.t -> LKappa.rule * (int * int) list
val pattern_to_lkappa_rule : ?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s -> Pattern.cc -> LKappa.rule
val pattern_to_lkappa_rule_and_unspec : ?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s -> Pattern.cc -> LKappa.rule * (int * int) list
val pattern_id_to_lkappa_rule : ?parameters:Remanent_parameters_sig.parameters ->
Model.t -> Pattern.id -> LKappa.rule
val pattern_id_to_lkappa_rule_and_unspec : ?parameters:Remanent_parameters_sig.parameters ->
Model.t -> Pattern.id -> LKappa.rule * (int * int) list
val copy_agent_in_raw_mixture : Raw_mixture.agent -> Raw_mixture.agent
val copy_agent_in_lkappa : LKappa.rule_agent -> LKappa.rule_agent