Project

General

Profile

Revision 53206908 src/type_predef.ml

View differences:

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