module FStar.TaggedUnion

fsdoc: no-summary-found

fsdoc: no-comment-found

 Code

  The code of a tagged union with fields `l` is `typ l`