Module Compare.Functor

Parameters

• F : Interface.FUNCTOR
• E : Interface.EQ1 with type 'a t = 'a F.t

Signature

val (<.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('c, 'a) Bastet__Function.Semigroupoid.t -> ('c, 'b) Bastet__Function.Semigroupoid.t

val identity : 'a F.t -> bool

val composition : ('b -> 'c) -> ('a -> 'b) -> 'a F.t -> bool