sig
  module type Type =
    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
  module Export : functor (Reachability : Analyzer.Analyzer) -> Type
end