The structural type representing the given EJson value, annotated with
the result of measure
.
The structural type representing the given EJson value annotated with the given measure.
Lens targeting the top-level annotation of a structural type.
Unfold a pair of structural types into their deep structural merge.