Project

General

Profile

« Previous | Next » 

Revision ae08b9fc

Added by Pierre-Loïc Garoche about 5 years ago

[seal] delt with Merge and when
[printer] more kind2 syntax

View differences:

src/corelang.mli
200 200 
val push_negations: ?neg:bool -> expr -> expr
201 201 

  		




  202
  202
  
    
val add_pre_expr: ident list -> expr -> expr


  		




  203
  
  
    
                                            (* Local Variables: *)


  		




  
  203
  
    

  		




  
  204
  
    
val mk_eq: Location.t -> expr -> expr -> expr 


  		




  
  205
  
    
(* Local Variables: *)


  		




  204
  206
  
    
(* compile-command:"make -C .." *)


  		




  205
  207
  
    
(* End: *)


  		












Also available in:  Unified diff