test-suite/output/goal_output.out


1
2
3
4
5
6
7
8
9
10
11
12

Nat.t = nat
     : Set

Nat.t is not universe polymorphic
Nat.t = nat
     : Set

Nat.t is not universe polymorphic
1 subgoal
  
  ============================
  False