Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A processor which processes files containing the meta rewrite-rules. It is assumed that such file contains only rewrite rules.
type t = Kernel.Rule.partially_typed_rule listresult type of the processor
val handle_entry : Env.t -> Parsers.Entry.entry -> unithandle_entry env entry processed the entry entry in the environment env