Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

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