Skip to main content

Module is_provably_lent

dada_ir_sym::check::predicates

Module is_provably_lent 

Source

Functions§

application_is_provably_lent 🔒
perm_is_provably_lent 🔒
place_is_provably_lent 🔒
term_is_provably_lent