Project

General

Profile

Revision 70e1006b src/delay_predef.ml

View differences:

src/delay_predef.ml
17 17
let delay_un =
18 18
  new_delay Dundef
19 19

  
20
let delay_nullary_poly_op =
21
  let univ = new_univar () in
22
  univ
23

  
20 24
let delay_unary_poly_op =
21 25
  let univ = new_univar () in
22 26
  new_delay (Darrow (univ, univ))

Also available in: Unified diff