Scoping (p.dedukti.2.7.doc.dedukti.parsers.Parsers.Scoping)

Sourceexception 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