Skip to main content

Module require_shared

dada_ir_sym::check::predicates

Module require_shared 

Source

Functions§

require_either_is_shared 🔒
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_generics_are_shared 🔒
require_perm_is_shared 🔒
require_place_is_shared 🔒
require_term_is_shared 🔒
require_ty_is_shared 🔒