Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
exception Scoping_error of Kernel.Basic.loc * string
Scope managmement: from preterms to terms.
val scope_term :
Kernel.Basic.mident ->
Kernel.Term.typed_context ->
Preterm.preterm ->
Kernel.Term.term
val scope_rule :
Kernel.Basic.mident ->
Preterm.prule ->
Kernel.Rule.partially_typed_rule