sig
  module type Type =
    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
  module Export : functor (Reachability : Analyzer.Analyzer) -> Type
end