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 type_name : 's sum -> string

type_name s is the type 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.

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

with_meta meta p is p with meta meta.