MakeNumberedNode.Value
type ('a, 'b) relation = ('a, 'b) Relation.t
apply v r
is the value obtained by applying relation r
to value v
apply
should be a group action from R : GENERIC_GROUP with type ('a,'b) t = ('a,'b) relation
on the value 'a t
. Meaning it should verify the following:
apply v R.identity = v
apply (apply v r2) r1 = apply v (R.compose r2 r1)