blob: 3510e3aa96252f50e9b167c27082708b5869a7ca (
plain) (
blame)
1
2
3
4
5
|
let permits (object_ : Object.registry) (method_ : Object.rnt_method) : bool =
BatSet.mem method_ object_.Object.entry.Object.methods
let can_open (object_ : Object.registry) : bool = permits object_ Object.OPEN
let can_close (object_ : Object.registry) : bool = permits object_ Object.CLOSE
|
