Parse successful.
let a: Type0 = 1;
let b: Type0 = 1;
let f: Π _: a. b = λ x. x;
let p: Σ _: a. b = (0, 0);
const infer_my_type = (1, 1);





Type-Check successful.