Project

General

Profile

Revision ef34b4ae src/clock_predef.ml

View differences:

src/clock_predef.ml
22 22
  let univ = new_univar () in
23 23
  new_ck (Carrow (new_ck (Ctuple [univ;univ;univ]) true, univ)) true
24 24

  
25
let ck_nullary_univ =
26
  let univ = new_univar () in
27
  univ
28

  
25 29
let ck_unary_univ =
26 30
  let univ = new_univar () in
27 31
  new_ck (Carrow (univ, univ)) true

Also available in: Unified diff