Skip to main content

Module require_unique

dada_ir_sym::check::predicates

Module require_unique 

Source

Functions§

require_perm_is_unique 🔒
require_some_generic_is_unique 🔒
require_term_is_unique 🔒
require_ty_is_unique 🔒