Skip to main content

Module perms

dada_ir_sym::check::subtype

Module perms 

Source

Functions§

require_infer_bounded_by_perm 🔒
require_perm_sub_perm 🔒
require_red_perm_sub_red_perm 🔒
require_sub_perms