Functor Export_to_KaDE.Export

module Export: 
functor (Reachability : Analyzer.Analyzer) -> Type 

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

val get_parameters : state -> parameters

val set_parameters : parameters ->
       state -> state

val get_handler : state ->
       state * handler

val get_errors : state -> errors

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