1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
bool <- sort_eq ( bool_eqType )
bool <- sort_TYPE ( bool_TYPE )
nat <- sort_eq ( nat_eqType )
nat <- sort_TYPE ( nat_TYPE )
prod <- sort_eq ( prod_eqType )
prod <- sort_TYPE ( prod_TYPE )
sum <- sort_eq ( sum_eqType )
sum <- sort_TYPE ( sum_TYPE )
sum <- sort_TYPE ( sum_TYPE )
prod <- sort_TYPE ( prod_TYPE )
nat <- sort_TYPE ( nat_TYPE )
bool <- sort_TYPE ( bool_TYPE )
sum <- sort_eq ( sum_eqType )
prod <- sort_eq ( prod_eqType )
nat <- sort_eq ( nat_eqType )
bool <- sort_eq ( bool_eqType )
bool <- sort_TYPE ( bool_TYPE )
bool <- sort_eq ( bool_eqType )
|
