Skip to main content

Module is_provably_owned

dada_ir_sym::check::predicates

Module is_provably_owned 

Source

Functions§

application_is_provably_owned 🔒
perm_is_provably_owned 🔒
place_is_provably_owned 🔒
term_is_provably_owned