Project

General

Profile

Revision 8f1c7e91 src/printers.ml

View differences:

src/printers.ml
50 50

  
51 51
and pp_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_ty id.var_type
52 52

  
53
and pp_node_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_node_ty id.var_type
53
and pp_node_var fmt id = fprintf fmt "%s%s: %a%a" (if id.var_dec_const then "const " else "") id.var_id Types.print_node_ty id.var_type Clocks.print_ck_suffix id.var_clock
54 54

  
55 55
and pp_expr fmt expr =
56 56
  match expr.expr_desc with

Also available in: Unified diff