You can search for identifiers within the package.
in-package search v0.2.0
dedukti.api
Meta.MetaConfiguration
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 list
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 ()