Module Runtime.Variant_in

type (_, _) t =
| Variant : string * ('a'constr'c) Tuple_in.t * 'constr -> ('a'c) t