Sourcetype ('context, 'action) t = | Action of string * 'action| Condition of string * 'context -> bool| Sequence of ('context, 'action) t list| Selector of ('context, 'action) t list| Not of ('context, 'action) t
Sourceval decide : ('context, 'action) t -> 'context -> 'action option Sourceval path : ('context, 'action) t -> 'context -> (string * bool) list