Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/delay_predef.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
(** Base types and predefined operator types. *)
13 12
open Delay
13
(** Base types and predefined operator types. *)
14 14

  
15 15
let delay_zero () = new_univar ()
16 16

  
17
let delay_un =
18
  new_delay Dundef
17
let delay_un = new_delay Dundef
19 18

  
20 19
let delay_nullary_poly_op =
21 20
  let univ = new_univar () in
......
27 26

  
28 27
let delay_binary_poly_op =
29 28
  let univ = new_univar () in
30
  new_delay (Darrow (new_delay (Dtuple [univ;univ]), univ))
29
  new_delay (Darrow (new_delay (Dtuple [ univ; univ ]), univ))
31 30

  
32 31
let delay_ternary_poly_op =
33 32
  let univ = new_univar () in
34
  new_delay (Darrow (new_delay (Dtuple [univ;univ;univ]), univ))
35

  
36

  
33
  new_delay (Darrow (new_delay (Dtuple [ univ; univ; univ ]), univ))
37 34

  
38 35
(* Local Variables: *)
39 36
(* compile-command:"make -C .." *)

Also available in: Unified diff