equal
deleted
inserted
replaced
8 signature SYN_EXT0 = |
8 signature SYN_EXT0 = |
9 sig |
9 sig |
10 val dddot_indexname: indexname |
10 val dddot_indexname: indexname |
11 val constrainC: string |
11 val constrainC: string |
12 val typeT: typ |
12 val typeT: typ |
|
13 val spropT: typ |
13 val max_pri: int |
14 val max_pri: int |
14 val stamp_trfun: stamp -> string * 'a -> string * ('a * stamp) |
15 val stamp_trfun: stamp -> string * 'a -> string * ('a * stamp) |
15 val mk_trfun: string * 'a -> string * ('a * stamp) |
16 val mk_trfun: string * 'a -> string * ('a * stamp) |
16 val eq_trfun: ('a * stamp) * ('a * stamp) -> bool |
17 val eq_trfun: ('a * stamp) * ('a * stamp) -> bool |
17 val tokentrans_mode: |
18 val tokentrans_mode: |