Skip to main content

Module require_lent

dada_ir_sym::check::predicates

Module require_lent 

Source

Functions§

require_application_is_lent 🔒
Requires that (lhs rhs) satisfies the given predicate. The semantics of (lhs rhs) is: rhs if rhs is copy or lhs union rhs otherwise.
require_perm_is_lent 🔒
require_term_is_lent 🔒
require_ty_is_lent 🔒