`type t````=`

`|` `Functional` | (** holds a value returned from a callee marked @Functional *)
`|` `Choice of Choice.t` | (** holds a boolean choice variable *)

``
`include InferStdlib.PrettyPrintable.PrintableOrderedType with type PrintableOrderedType.t := t`
`include InferStdlib.IStd.Caml.Set.OrderedType`
`type t`````
`val compare : t ‑> t ‑> int`
`val pp : InferStdlib.PrettyPrintable.F.formatter ‑> t ‑> unit`