Module Dictionary.Run

val equality : (_, 'w) t -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('a, 'b, 'w) Accessor__.Import.Hk.t2
val constructor : ([< Accessor.Subtyping.constructor ], 'w) t -> ('b -> 'bt) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val field : ([< Accessor.Subtyping.field ], 'w) t -> ('at -> 'a * ('b -> 'bt)) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val getter : ([< Accessor.Subtyping.getter ], 'w) t -> ('at -> 'a) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val isomorphism : ([< Accessor.Subtyping.isomorphism ], 'w) t -> get:('at -> 'a) -> construct:('b -> 'bt) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val mapper : ([< Accessor.Subtyping.mapper ], 'w) t -> ('at -> f:('a -> 'b) -> 'bt) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val many : ([< Accessor.Subtyping.many ], 'w) t -> ('at -> ('bt, 'a, 'b) Accessor.Many.t) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val many_getter : ([< Accessor.Subtyping.many_getter ], 'w) t -> ('at -> 'a Accessor.Many_getter.t) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val nonempty : ([< Accessor.Subtyping.nonempty ], 'w) t -> ('at -> ('bt, 'a, 'b) Accessor.Nonempty.t) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val nonempty_getter : ([< Accessor.Subtyping.nonempty_getter ], 'w) t -> ('at -> 'a Accessor.Nonempty_getter.t) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val optional : ([< Accessor.Subtyping.optional ], 'w) t -> ('at -> ('a * ('b -> 'bt), 'bt) Base.Either.t) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val optional_getter : ([< Accessor.Subtyping.optional_getter ], 'w) t -> ('at -> 'a Base.option) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2
val variant : ([< Accessor.Subtyping.variant ], 'w) t -> match_:('at -> ('a, 'bt) Base.Either.t) -> construct:('b -> 'bt) -> ('a, 'b, 'w) Accessor__.Import.Hk.t2 -> ('at, 'bt, 'w) Accessor__.Import.Hk.t2