val permits : Object.registry -> Object.rnt_method -> bool
val can_open : Object.registry -> bool
val can_close : Object.registry -> bool