sig
  type static_information = {
    global_static_information : Analyzer_headers.global_static_information;
  }
  type local_dynamic_information = unit
  type dynamic_information = {
    local : Static_contact_map_domain.Domain.local_dynamic_information;
    global : Analyzer_headers.global_dynamic_information;
  }
  val get_global_static_information :
    Static_contact_map_domain.Domain.static_information ->
    Analyzer_headers.global_static_information
  val lift :
    (Analyzer_headers.global_static_information -> 'a) ->
    Static_contact_map_domain.Domain.static_information -> 'a
  val get_parameter :
    Static_contact_map_domain.Domain.static_information ->
    Remanent_parameters_sig.parameters
  val get_kappa_handler :
    Static_contact_map_domain.Domain.static_information ->
    Cckappa_sig.kappa_handler
  val get_compil :
    Static_contact_map_domain.Domain.static_information -> Cckappa_sig.compil
  val get_bond_rhs :
    Static_contact_map_domain.Domain.static_information ->
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t
  val get_bond_lhs :
    Static_contact_map_domain.Domain.static_information ->
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t
  val get_global_dynamic_information :
    Static_contact_map_domain.Domain.dynamic_information ->
    Analyzer_headers.global_dynamic_information
  val set_global_dynamic_information :
    Analyzer_headers.global_dynamic_information ->
    Static_contact_map_domain.Domain.dynamic_information ->
    Static_contact_map_domain.Domain.dynamic_information
  val add_oriented_relation :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    Ckappa_sig.Rule_map_and_set.Set.elt ->
    Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
    Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
    Ckappa_sig.Rule_map_and_set.Set.t
    Ckappa_sig.PairAgentSiteState_map_and_set.Map.t ->
    Exception.method_handler *
    Ckappa_sig.Rule_map_and_set.Set.t
    Ckappa_sig.PairAgentSiteState_map_and_set.Map.t
  val add_relation :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    Ckappa_sig.Rule_map_and_set.Set.elt ->
    Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
    Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
    Ckappa_sig.Rule_map_and_set.Set.t
    Ckappa_sig.PairAgentSiteState_map_and_set.Map.t ->
    Exception.method_handler *
    Ckappa_sig.Rule_map_and_set.Set.t
    Ckappa_sig.PairAgentSiteState_map_and_set.Map.t
  val initialize :
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_dynamic_information ->
    Exception.method_handler ->
    Exception.method_handler *
    Static_contact_map_domain.Domain.static_information *
    Static_contact_map_domain.Domain.dynamic_information *
    Communication.event list
  val complete_wake_up_relation : 'a -> 'b -> 'c -> 'b * 'c
  type 'a zeroary =
      Static_contact_map_domain.Domain.static_information ->
      Static_contact_map_domain.Domain.dynamic_information ->
      Exception.method_handler ->
      Exception.method_handler *
      Static_contact_map_domain.Domain.dynamic_information * 'a
  type ('a, 'b) unary =
      Static_contact_map_domain.Domain.static_information ->
      Static_contact_map_domain.Domain.dynamic_information ->
      Exception.method_handler ->
      'a ->
      Exception.method_handler *
      Static_contact_map_domain.Domain.dynamic_information * 'b
  type ('a, 'b, 'c) binary =
      Static_contact_map_domain.Domain.static_information ->
      Static_contact_map_domain.Domain.dynamic_information ->
      Exception.method_handler ->
      'a ->
      'b ->
      Exception.method_handler *
      Static_contact_map_domain.Domain.dynamic_information * 'c
  type ('a, 'b, 'c, 'd) ternary =
      Static_contact_map_domain.Domain.static_information ->
      Static_contact_map_domain.Domain.dynamic_information ->
      Exception.method_handler ->
      'a ->
      'b ->
      'c ->
      Exception.method_handler *
      Static_contact_map_domain.Domain.dynamic_information * 'd
  val add_initial_state : 'a -> 'b -> 'c -> 'd -> 'c * 'b * 'e list
  val is_enabled : 'a -> 'b -> 'c -> 'd -> 'e -> 'c * 'b * 'e option
  val maybe_reachable :
    'a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'c * 'b * 'f option
  val apply_rule : 'a -> 'b -> 'c -> 'd -> 'e -> 'c * 'b * ('e * 'f list)
  val apply_event_list : 'a -> 'b -> 'c -> 'd -> 'c * 'b * 'e list
  val stabilize : 'a -> 'b -> 'c -> 'c * 'b * unit
  val export : 'a -> 'b -> 'c -> 'd -> 'c * 'b * 'd
  val print : ?dead_rules:'a -> 'b -> 'c -> 'd -> 'e -> 'd * 'c * unit
  val lkappa_mixture_is_reachable :
    'a -> 'b -> 'c -> 'd -> 'c * 'b * Usual_domains.maybe_bool
  val cc_mixture_is_reachable :
    'a -> 'b -> 'c -> 'd -> 'c * 'b * Usual_domains.maybe_bool
  val get_dead_rules :
    'a ->
    'b ->
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    Ckappa_sig.c_rule_id -> Exception.method_handler * bool
end