`AdtDef` is an algebraic data type, not abstract data type#64357

Merged

bors merged 1 commit intomasterfrom

Sep 17, 2019

Commits on Sep 16, 2019

`AdtDef` is an algebraic data type, not abstract data type.
Centril
committed