Project

General

Profile

Revision 7ecfca04 src/corelang.ml

View differences:

src/corelang.ml
96 96
let mkpredef_call loc funname args =
97 97
  mkexpr loc (Expr_appl (funname, mkexpr loc (Expr_tuple args), None))
98 98

  
99
let mkpredef_unary_call loc funname arg =
100
  mkexpr loc (Expr_appl (funname, arg, None))
101

  
99 102
let is_clock_dec_type cty =
100 103
  match cty with
101 104
  | Tydec_clock _ -> true

Also available in: Unified diff