Module Accessor_base__.Accessor_error
val info : (_, Base.Info.t, Base.Error.t, [< Accessor_base__.Import.isomorphism ]) Accessor_base__.Import.Accessor.Simple.t
Error.t
andInfo.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.t, Base.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 aLazy.t
is already evaluated.