Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by Lélio Brun over 1 year 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