Up – Package index » lambdapi » Library lambdapi.tool » Tool » Sr

Module `Tool.Sr`Source

Sourceval 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.