Module Accessor_base__.Accessor_error

val info : (_Base.Info.tBase.Error.t[< Accessor_base__.Import.isomorphism ]) Accessor_base__.Import.Accessor.Simple.t

Error.t and Info.t are actually the same thing, though they are not exposed as type equal. This isomorphism is essentially an equality.

val lazy_t : (_Base.Error.t Base.Lazy.tBase.Error.t[< Accessor_base__.Import.isomorphism ]) Accessor_base__.Import.Accessor.Simple.t

Error.t has a lazy representation. This accessor isn't quite a true isomorphism because you can observe whether a Lazy.t is already evaluated.