Module Create.Isomorphism

type 'w t = {
f : a b at bt. get:('at -> 'a) -> construct:('b -> 'bt) -> ('a'b'w) Accessor__.Import.Hk.t2 -> ('at'bt'w) Accessor__.Import.Hk.t2;
}