package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val check_rule : Parsing.Scope.pre_rule Common.Pos.loc -> Core.Term.rule

check_rule r checks whether the pre-rule r is well-typed in signature state ss and then construct the corresponding rule. Note that Fatal is raised in case of error.