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