Source

ocamlspot / tests / variant_constructor.ml

1
2
3
type t = (* constr E => *) E (* <= constr E *)

let _ = E (* ? constr E *)