Skip to main content

Module is_provably_unique

dada_ir_sym::check::predicates

Module is_provably_unique 

Source

Functions§

application_is_provably_unique 🔒
perm_is_provably_unique 🔒
place_is_provably_unique 🔒
term_is_provably_unique