Project

General

Profile

Revision 2475c9e8 src/corelang.ml

View differences:

src/corelang.ml
109 109
let node_of_top top_decl =
110 110
  match top_decl.top_decl_desc with
111 111
  | Node nd -> nd
112
  | _ -> assert false
112
  | _ -> raise Not_found
113 113

  
114 114
let imported_node_of_top top_decl =
115 115
  match top_decl.top_decl_desc with

Also available in: Unified diff