package dedukti

  1. Overview
  2. Docs

Module Processor.MakeEntryPrinterSource

Parameters

module E : CustomEnv

Signature

Sourcetype t = unit

result type of the processor

Sourceval handle_entry : Env.t -> Parsers.Entry.entry -> unit

handle_entry env entry processed the entry entry in the environment env

Sourceval get_data : Env.t -> t

get_data () returns the data computed by the current processor