Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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.