Module `Accessor__.Dictionary`

type ('c, 'w) t: A (c, w) t explains how to construct a mapping from some specification. For example, an (isomorphism, w) t knows how to convert the specification containing get and construct functions into a function over mappings witnessed by w.

module Create : sig ... end

module Run : sig ... end