Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/arrow.ml
30 30
    top_decl_itf = false;
31 31
    top_decl_loc = Location.dummy_loc
32 32
  }
33

  
34
let td_is_arrow td =
35
  Corelang.node_name td = arrow_id

Also available in: Unified diff