sig
  type pattern_matching_flag = Embeddings | Morphisms
  type compilation_result
  type global_static_information
  type global_dynamic_information
  type ('static, 'dynamic) kasa_state =
      ('static, 'dynamic) Remanent_state.state
  type initial_state = Cckappa_sig.enriched_init
  val initialize_global_information :
    Remanent_parameters_sig.parameters ->
    StoryProfiling.StoryStats.log_info ->
    Exception.method_handler ->
    Mvbdu_wrapper.Mvbdu.handler ->
    Cckappa_sig.compil ->
    Cckappa_sig.kappa_handler ->
    Exception.method_handler * Analyzer_headers.global_static_information *
    Analyzer_headers.global_dynamic_information
  val add_wake_up_relation :
    Analyzer_headers.global_static_information ->
    Common_static.site_to_rules -> Analyzer_headers.global_static_information
  val get_wake_up_relation :
    Analyzer_headers.global_static_information -> Common_static.site_to_rules
  val get_parameter :
    Analyzer_headers.global_static_information ->
    Remanent_parameters_sig.parameters
  val get_compilation_information :
    Analyzer_headers.global_static_information ->
    Analyzer_headers.compilation_result
  val get_common_views :
    Analyzer_headers.global_static_information -> Common_static.common_views
  val set_common_views :
    Common_static.common_views ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_agent_name :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.c_agent_name Ckappa_sig.RuleAgent_map_and_set.Map.t
  val set_agent_name :
    Ckappa_sig.c_agent_name Ckappa_sig.RuleAgent_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_agent_name_from_pattern :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.c_agent_name Ckappa_sig.Agent_id_map_and_set.Map.t
  val set_agent_name_from_pattern :
    Ckappa_sig.c_agent_name Ckappa_sig.Agent_id_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_side_effects :
    Analyzer_headers.global_static_information ->
    Common_static.half_break_action * Common_static.remove_action
  val set_side_effects :
    Common_static.half_break_action * Common_static.remove_action ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_potential_side_effects :
    Analyzer_headers.global_static_information ->
    Common_static.potential_partner_free *
    Common_static.potential_partner_bind
  val set_potential_side_effects :
    Common_static.potential_partner_free *
    Common_static.potential_partner_bind ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_potential_side_effects_per_rule :
    Analyzer_headers.global_static_information ->
    (Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state)
    list Ckappa_sig.Rule_map_and_set.Map.t
  val set_potential_side_effects_per_rule :
    (Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state)
    list Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_bonds_rhs :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t
  val set_bonds_rhs :
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_bonds_lhs :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t
  val set_bonds_lhs :
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_action_binding :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t
  val set_action_binding :
    Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_views_rhs :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
    Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t
  val set_views_rhs :
    Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
    Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_views_lhs :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
    Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t
  val set_views_lhs :
    Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
    Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_modified_map :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.AgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t
  val set_modified_map :
    Ckappa_sig.AgentsSiteState_map_and_set.Set.t
    Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_test_modif_map :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.Rule_map_and_set.Set.t Ckappa_sig.AgentSite_map_and_set.Map.t
  val set_test_modif_map :
    Ckappa_sig.Rule_map_and_set.Set.t Ckappa_sig.AgentSite_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val get_project_modified_map :
    Analyzer_headers.global_static_information ->
    Ckappa_sig.AgentSite_map_and_set.Set.t Ckappa_sig.Rule_map_and_set.Map.t
  val set_project_modified_map :
    Ckappa_sig.AgentSite_map_and_set.Set.t Ckappa_sig.Rule_map_and_set.Map.t ->
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_static_information
  val compute_initial_state :
    Exception.method_handler ->
    Analyzer_headers.global_static_information ->
    Exception.method_handler * Analyzer_headers.initial_state list
  val get_kappa_handler :
    Analyzer_headers.global_static_information -> Cckappa_sig.kappa_handler
  val get_cc_code :
    Analyzer_headers.global_static_information -> Cckappa_sig.compil
  val get_mvbdu_handler :
    Analyzer_headers.global_dynamic_information ->
    Mvbdu_wrapper.Mvbdu.handler
  val set_mvbdu_handler :
    Mvbdu_wrapper.Mvbdu.handler ->
    Analyzer_headers.global_dynamic_information ->
    Analyzer_headers.global_dynamic_information
  val get_log_info :
    Analyzer_headers.global_dynamic_information ->
    StoryProfiling.StoryStats.log_info
  val set_log_info :
    StoryProfiling.StoryStats.log_info ->
    Analyzer_headers.global_dynamic_information ->
    Analyzer_headers.global_dynamic_information
  val dummy_dead_rules :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    Ckappa_sig.c_rule_id -> Exception.method_handler * bool
end