Module Gist.Sum

Operating on sums.

type 's t = 's sum

The type for sum types of type 's

val meta : 's sum -> 's Meta.t

meta s is the meta of s.

val name : 's sum -> string

name s is the name of s.

val to_variant : 's sum -> 's variant

to_variant s is s as a variant type representation. This generalizes the specialized sum cases to the generic representation of variants.