sig
  val normalize_species :
    ?parameters:Remanent_parameters_sig.parameters ->
    sigs:Signature.s ->
    LKappa_auto.cache ->
    Pattern.PreEnv.t ->
    int Symmetries_sig.site_partition array ->
    Pattern.cc -> LKappa_auto.cache * Pattern.PreEnv.t * Pattern.cc
  val is_pattern_invariant_internal_states_permutation :
    ?parameters:Remanent_parameters_sig.parameters ->
    env:Model.t ->
    agent_type:int ->
    site1:int ->
    site2:int -> Pattern.id -> LKappa_auto.cache -> LKappa_auto.cache * bool
  val is_pattern_invariant_binding_states_permutation :
    ?parameters:Remanent_parameters_sig.parameters ->
    env:Model.t ->
    agent_type:int ->
    site1:int ->
    site2:int -> Pattern.id -> LKappa_auto.cache -> LKappa_auto.cache * bool
  val is_pattern_invariant_full_states_permutation :
    ?parameters:Remanent_parameters_sig.parameters ->
    env:Model.t ->
    agent_type:int ->
    site1:int ->
    site2:int -> Pattern.id -> LKappa_auto.cache -> LKappa_auto.cache * bool
  val equiv_class_of_a_pattern :
    ?parameters:Remanent_parameters_sig.parameters ->
    env:Model.t ->
    partitions_internal_states:(int -> int list list) ->
    partitions_binding_states:(int -> int list list) ->
    partitions_full_states:(int -> int list list) ->
    LKappa_auto.cache ->
    Pattern.PreEnv.t ->
    bool Mods.DynArray.t ->
    Pattern.id ->
    LKappa_auto.cache * Pattern.PreEnv.t * bool Mods.DynArray.t *
    (Pattern.id * int) list
  val equiv_class_of_a_species :
    ?parameters:Remanent_parameters_sig.parameters ->
    sigs:Signature.s ->
    partitions_internal_states:(int -> int list list) ->
    partitions_binding_states:(int -> int list list) ->
    partitions_full_states:(int -> int list list) ->
    LKappa_auto.cache ->
    Pattern.PreEnv.t ->
    bool Mods.DynArray.t ->
    Pattern.cc ->
    LKappa_auto.cache * Pattern.PreEnv.t * bool Mods.DynArray.t *
    Pattern.cc list
end