MLton

Variant

A variant is an arm of a datatype declaration. For example, the datatype

datatype t = A | B of int | C of real

has three variants: A, B, and C.

Last updated Thu Oct 21 15:53:06 2021 -0400 by Matthew Fluet. Log Edit