def group.policy
import bend-kit-camber@0.15.0.1/camber.bend as Camberimport Base
510def group.policy(~P: Data, found: Maybe<&2, Group<P>>, ancestors: List<&2, U32>) -> Maybe<&2, P>:
511 match found:
512 case None{}:
513 None{}
514 case Some{Group{id, expected, policy}}:
515 group.checked(~P, groups.equal(expected, ancestors), policy)