Project

General

Profile

Revision fc886259 src/corelang.mli

View differences:

src/corelang.mli
27 27
val mktop_decl: Location.t -> ident -> bool -> top_decl_desc -> top_decl
28 28
val mkpredef_call: Location.t -> ident -> expr list -> expr
29 29
val mk_new_name: (ident -> bool) -> ident -> ident
30

  
30
val mk_new_node_name: node_desc -> ident -> ident
31 31

  
32 32
val node_table : (ident, top_decl) Hashtbl.t
33 33
val print_node_table:  Format.formatter -> unit -> unit
......
81 81
(* Caution, returns an untyped, unclocked, etc, expression *)
82 82
val is_tuple_expr : expr -> bool
83 83
val ident_of_expr : expr -> ident
84
val expr_of_vdecl : var_decl -> expr
84 85
val expr_of_ident : ident -> Location.t -> expr
85 86
val expr_list_of_expr : expr -> expr list
86 87
val expr_of_expr_list : Location.t -> expr list -> expr

Also available in: Unified diff