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