Module Function.Invariant

Parameters

• T : Interface.TYPE

Signature

type 'a t = T.t -> 'a

val imap : ('a -> 'b) -> ('b -> 'a) -> 'a t -> 'b t