CristalCaveGem » LustreC

and pp_node_eqs fmt eqs = fprintf_list ~sep:"@ " pp_node_eq fmt eqs

let pp_typedef fmt ty =

let pp_typedec fmt ty =

(* let rec pp_var_type fmt ty =  *)

(*   fprintf fmt "%a" (match ty.tdesc with  *)

let pp_decl fmt decl =

  match decl.top_decl_desc with

  | ImportedNode ind ->

let pp_prog fmt prog =

  (* we first print types: the function SortProg.sort could do the job but ut

  let type_decl, others =

    List.partition (fun decl -> match decl.top_decl_desc with TypeDef _ -> true | _ -> false) prog

  in

let pp_short_decl fmt decl =

  match decl.top_decl_desc with