Generic_types.Bi_right
Types used in rightwards arity-1 bi-operation signatures.
type 'r t
Partially fixed type of containers.
type left
Fixed type of left elements.