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