Generic_types.Bi_left
Types used in leftwards arity-1 bi-operation signatures.
type 'l t
Partially fixed type of containers.
type right
Fixed type of right elements.