sig
  type state
  val init : ?compil:Ast.parsing_compil -> unit -> Export_to_json.Type.state
  val get_contact_map :
    ?accuracy_level:Public_data.accuracy_level ->
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val get_scc_decomposition :
    ?accuracy_level_cm:Public_data.accuracy_level ->
    ?accuracy_level_scc:Public_data.accuracy_level ->
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val get_influence_map :
    ?accuracy_level:Public_data.accuracy_level ->
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val get_local_influence_map :
    ?accuracy_level:Public_data.accuracy_level ->
    ?bwd:int ->
    ?fwd:int ->
    total:int ->
    origin:(int, int) Public_data.influence_node option ->
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val origin_of_influence_map :
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val next_node_in_influence_map :
    Export_to_json.Type.state ->
    (int, int) Public_data.influence_node option ->
    Export_to_json.Type.state * Yojson.Basic.json
  val previous_node_in_influence_map :
    Export_to_json.Type.state ->
    (int, int) Public_data.influence_node option ->
    Export_to_json.Type.state * Yojson.Basic.json
  val get_dead_rules :
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val get_separating_transitions :
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val get_constraints_list :
    Export_to_json.Type.state ->
    Export_to_json.Type.state * Yojson.Basic.json
  val get_errors :
    Export_to_json.Type.state -> Exception_without_parameter.method_handler
  val get_errors_json : Export_to_json.Type.state -> Yojson.Basic.json
  val to_json : Export_to_json.Type.state -> Yojson.Basic.json
  val of_json :
    Yojson.Basic.json ->
    Exception_without_parameter.method_handler *
    Public_data.contact_map Public_data.AccuracyMap.t *
    Public_data.influence_map Public_data.AccuracyMap.t *
    Public_data.dead_rules option * Remanent_state.constraints_list option *
    Public_data.separating_transitions option
end