Project

General

Profile

Revision f4cba4b8 src/arrow.ml

View differences:

src/arrow.ml
19 19
    node_dec_stateless = false;
20 20
    node_stateless = Some false;
21 21
    node_spec = None;
22
    node_annot = [];  }
22
    node_annot = [];
23
    node_iscontract = false;
24
}
23 25

  
24 26
let arrow_top_decl =
25 27
  {

Also available in: Unified diff