sig
  module type Type =
    sig
      type state
      type contact_map =
          (string list * (string * string) list) Mods.StringSetMap.Map.t
          Mods.StringSetMap.Map.t
      val init :
        ?compil:Ast.parsing_compil ->
        called_from:Remanent_parameters_sig.called_from ->
        unit -> Export_to_KaSim.Type.state
      val get_contact_map :
        ?accuracy_level:Public_data.accuracy_level ->
        Export_to_KaSim.Type.state ->
        Export_to_KaSim.Type.state * Export_to_KaSim.Type.contact_map
      val get_dead_rules :
        Export_to_KaSim.Type.state ->
        Export_to_KaSim.Type.state * Ckappa_sig.c_rule_id list
      val dump_errors_light : Export_to_KaSim.Type.state -> unit
      val flush_errors :
        Export_to_KaSim.Type.state -> Export_to_KaSim.Type.state
    end
  module Export : functor (Reachability : Analyzer.Analyzer) -> Type
end