Parameter MakeNumberedNode.Value

type ('a, 'b) relation = ('a, 'b) Relation.t
type 'a t
val apply : 'a t -> ('a, 'b) relation -> 'b 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)
val meet : 'a t -> 'a t -> 'a t

Intersection of values