Module type Export_to_KaSim.Type

module type Type = sig .. end

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 -> state

val get_contact_map : ?accuracy_level:Public_data.accuracy_level ->
       state ->
       state * contact_map

val get_dead_rules : state ->
       state * Ckappa_sig.c_rule_id list

val dump_errors_light : state -> unit

val flush_errors : state -> state