Project

General

Profile

Revision 54d032f5 src/corelang.mli

View differences:

src/corelang.mli
19 19 

  		




  20
  20
  
    
val mktyp: Location.t -> type_dec_desc -> type_dec


  		




  21
  21
  
    
val mkclock: Location.t -> clock_dec_desc -> clock_dec


  		




  22
  
  
    
val mkvar_decl: Location.t -> ident * type_dec * clock_dec * bool (* is const *) -> var_decl


  		




  
  22
  
    
val mkvar_decl: Location.t -> ?orig:bool -> ident * type_dec * clock_dec * bool (* is const *) -> var_decl


  		




  23
  23
  
    
val var_decl_of_const: const_desc -> var_decl


  		




  24
  24
  
    
val mkexpr: Location.t ->  expr_desc -> expr


  		




  25
  25
  
    
val mkeq: Location.t -> ident list * expr -> eq


  		




  ......




  83
  83
  
    
val expr_of_ident : ident -> Location.t -> expr


  		




  84
  84
  
    
val expr_list_of_expr : expr -> expr list


  		




  85
  85
  
    
val expr_of_expr_list : Location.t -> expr list -> expr


  		




  86
  
  
    
val call_of_expr: expr -> (ident * expr list * (ident * label) option)


  		




  
  86
  
    
val call_of_expr: expr -> (ident * expr list * expr option)


  		




  87
  87
  
    
val expr_of_dimension: Dimension.dim_expr -> expr


  		




  88
  88
  
    
val dimension_of_expr: expr -> Dimension.dim_expr


  		




  89
  89
  
    
val dimension_of_const: Location.t -> constant -> Dimension.dim_expr


  		












Also available in:  Unified diff