NewLiftableMacros
adt
NewLiftables
adt
Newline
Show
NonLeafApi
AdtReflection
None
Show
name
Field TokenMetadata
newline
Show
nonEmpty
RichSymbol invariants
nontriviaFields
Leaf
nullCheck
AdtHelperMacros Internal