Module nar::check::rules::clause

Type check a function clause.

Modules

eqs
lhs
split
state

Functions

bind_as_and_tele	Bind as patterns
clause	Checking an abstract clause. Agda.
clause_impl