Module Label.Nonoptional

type t
val no_label : t
val labelled : string -> t