Explicitness.With
type 'a t = {
explicitness : explicitness;
what : 'a;
}
val what : 'a t -> 'a
val explicitness : _ t -> explicitness
val map : 'a t -> f:('a -> 'b) -> 'b t
val map_result : 'a t -> f:('a -> ('b, 'c) result) -> ('b t, 'c) result
val ok : ('a, 'b) result t -> ('a t, 'b) result
module Export : sig ... end