aboutsummaryrefslogtreecommitdiffstats
path: root/lib/backend/managers/Identity.mli
blob: 589002ef8d8a285e386dfe838f97134109b40a58 (plain) (blame)
1
2
3
val permits : Object.registry -> Object.rnt_method -> bool
val can_open : Object.registry -> bool
val can_close : Object.registry -> bool