Revision 3b2bd83d
Added by Teme Kahsai about 8 years ago
src/type_predef.ml | ||
---|---|---|
26 | 26 |
let type_array d ty = new_ty (Tarray (d, ty)) |
27 | 27 |
let type_static d ty = new_ty (Tstatic (d, ty)) |
28 | 28 |
|
29 |
|
|
30 | 29 |
let type_unary_bool_op = |
31 | 30 |
new_ty (Tarrow (type_bool, type_bool)) |
32 | 31 |
|
Also available in: Unified diff
updating to onera version 30f766a:2016-12-04