Skip to main content

Module is_provably_shared

dada_ir_sym::check::predicates

Module is_provably_shared 

Source

Functions§

application_is_provably_shared 🔒
perm_is_provably_shared 🔒
place_is_provably_shared 🔒
places_are_provably_shared 🔒
term_is_provably_shared