Module Infix.Extend

Parameters

• E : Interface.EXTEND

Signature

val (<<=) : ('a E.t -> 'b) -> 'a E.t -> 'b E.t

val (=>>) : 'a E.t -> ('a E.t -> 'b) -> 'b E.t