type t1 = private {}

type t2 = private {x: int}

type t3 = private A | B
