MakeNumberedNode.Value
type ('a0, 'b0) relation = ('a, 'b) Relation.t
type 'a t = 'a Value.t
val apply : 'a t -> ('a, 'b) relation -> 'b t
val meet : 'a t -> 'a t -> 'a t