dedukti.api
Processor.MakeSignatureBuilder
dedukti.kernel
dedukti.parsers
module E : CustomEnv
type t = Kernel.Signature.t
result type of the processor
val handle_entry : Env.t -> Parsers.Entry.entry -> unit
handle_entry env entry processed the entry entry in the environment env
handle_entry env entry
entry
env
val get_data : Env.t -> t
get_data () returns the data computed by the current processor
get_data ()