package accessor_base

  1. Overview
  2. Docs
val info : (_, Base.Info.t, Base.Error.t, [< Accessor_base__.Import.isomorphism ]) Accessor.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.t, Base.Error.t, [< Accessor_base__.Import.isomorphism ]) Accessor.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.