sig
  module type Type =
    sig
      type state
      type parameters = Remanent_parameters_sig.parameters
      type errors = Exception.method_handler
      type internal_contact_map
      type internal_scc_decomposition =
          Remanent_state.internal_scc_decomposition
      type contact_map = Public_data.contact_map
      type internal_influence_map = Remanent_state.internal_influence_map
      type internal_constraints_list
      type bidirectional_influence_map
      val empty_constraints_list :
        Export_to_KaSa.Type.internal_constraints_list
      type handler = Cckappa_sig.kappa_handler
      type c_compilation = Cckappa_sig.compil
      type reachability_analysis
      type ode_flow
      type ctmc_flow
      val init : unit -> Export_to_KaSa.Type.state
      val set_errors :
        Export_to_KaSa.Type.errors ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val set_parameters :
        Export_to_KaSa.Type.parameters ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val get_parameters :
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.parameters
      val get_handler :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Export_to_KaSa.Type.handler
      val get_errors :
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.errors
      val get_env :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Model.t option
      val get_c_compilation :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Export_to_KaSa.Type.c_compilation
      val get_contact_map :
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Export_to_KaSa.Type.contact_map
      val dump_contact_map :
        Public_data.accuracy_level -> Export_to_KaSa.Type.state -> unit
      val get_scc_decomposition :
        ?accuracy_level_cm:Public_data.accuracy_level ->
        ?accuracy_level_scc:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state *
        Export_to_KaSa.Type.internal_scc_decomposition
      val output_scc_decomposition :
        ?accuracy_level_cm:Public_data.accuracy_level ->
        ?accuracy_level_scc:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val get_internal_contact_map :
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Export_to_KaSa.Type.internal_contact_map
      val get_influence_map :
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state *
        Export_to_KaSa.Type.internal_influence_map
      val get_local_influence_map :
        ?accuracy_level:Public_data.accuracy_level ->
        ?fwd:int ->
        ?bwd:int ->
        total:int ->
        Ckappa_sig.c_rule_id ->
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state *
        Export_to_KaSa.Type.internal_influence_map
      val get_reachability_analysis :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Export_to_KaSa.Type.reachability_analysis
      val get_constraints_list :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state *
        Export_to_KaSa.Type.internal_constraints_list
      val get_ctmc_flow :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Export_to_KaSa.Type.ctmc_flow
      val get_ode_flow :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Export_to_KaSa.Type.ode_flow
      val get_symmetric_sites :
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.state * Remanent_state.symmetric_sites
      val dump_c_compil :
        Export_to_KaSa.Type.state ->
        Export_to_KaSa.Type.c_compilation -> Export_to_KaSa.Type.state
      val output_internal_contact_map :
        ?logger:Loggers.t ->
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val output_influence_map :
        ?logger:Loggers.t ->
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val output_local_influence_map :
        ?logger:Loggers.t ->
        ?accuracy_level:Public_data.accuracy_level ->
        ?fwd:int ->
        ?bwd:int ->
        total:int ->
        Ckappa_sig.c_rule_id ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val output_constraints_list :
        ?logger:Loggers.t ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val output_symmetries :
        ?logger:Loggers.t ->
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSa.Type.state -> Export_to_KaSa.Type.state
      val get_data :
        Export_to_KaSa.Type.state ->
        Cckappa_sig.kappa_handler option * Public_data.dead_rules option *
        Remanent_state.separating_transitions option
    end
  module Export : functor (Reachability : Analyzer.Analyzer) -> Type
end