sig
  type state
  type parameters = Remanent_parameters_sig.parameters
  type errors = Exception.method_handler
  type handler = Cckappa_sig.kappa_handler
  val init : ?compil:Ast.parsing_compil -> unit -> Export_to_KaDE.Type.state
  val get_parameters :
    Export_to_KaDE.Type.state -> Export_to_KaDE.Type.parameters
  val set_parameters :
    Export_to_KaDE.Type.parameters ->
    Export_to_KaDE.Type.state -> Export_to_KaDE.Type.state
  val get_handler :
    Export_to_KaDE.Type.state ->
    Export_to_KaDE.Type.state * Export_to_KaDE.Type.handler
  val get_errors : Export_to_KaDE.Type.state -> Export_to_KaDE.Type.errors
  val get_contact_map :
    ?accuracy_level:Public_data.accuracy_level ->
    Export_to_KaDE.Type.state ->
    Export_to_KaDE.Type.state * Public_data.contact_map
end