lustre-v6 6.107.1 (latest)

val dump_long : bool -> Lv6Id.long -> string

val dump_entete : out_channel -> unit

val get_rank : 'a -> 'a list -> int

val is_a_tuple : Lic.val_exp -> bool

val string_of_ident : bool -> Lv6Id.long -> string

val string_of_const_eff : bool -> Lic.const -> Lv6Id.t

val string_of_const_eff_list : bool -> Lic.const list -> Lv6Id.t

val correct_num_string : Lv6Id.t -> Lv6Id.t

val string_ident_of_const_eff : bool -> Lic.const -> Lv6Id.t

val string_ident_of_const_eff_list : bool -> Lic.const list -> Lv6Id.t

val string_of_const_eff_opt : bool -> Lic.const option -> Lv6Id.t

val string_def_of_type_eff : bool -> Lic.type_ -> string

val string_of_type_eff : bool -> Lic.type_ -> string

val string_of_type_list : bool -> Lic.type_ list -> string

val string_of_type_profile : 
  bool ->
  (Lic.type_ list * Lic.type_ list) ->
  string

val string_of_const : bool -> Lic.const -> string

val string_of_var_info : bool -> Lic.var_info -> string

val string_of_var_list : bool -> Lic.var_info list -> string

val string_of_node_key : bool -> Lic.node_key -> string

val string_of_static_arg : bool -> Lic.static_arg -> string

val string_of_type_var : bool -> Lic.type_var -> string

val string_of_type_matches : bool -> (Lic.type_var * Lic.type_) list -> string

val string_of_node_key_rec : bool -> bool -> Lic.node_key -> string

val string_of_node_key_iter : bool -> Lic.node_key -> string

val string_of_node_key_def : bool -> Lic.node_key -> string

val static_arg2string_bis : bool -> Lic.static_arg -> string

val static_arg2string_kcg : bool -> Lic.static_arg -> string

val static_arg2string : bool -> Lic.static_arg -> string

val static_arg2string_rec : bool -> Lic.static_arg -> string

val string_of_var_info_eff : bool -> Lic.var_info -> string

val type_string_of_var_info_eff : bool -> Lic.var_info -> string

val string_of_decl : bool -> Lic.var_info -> string

val string_of_type_decl_list : bool -> Lic.var_info list -> string -> string

val string_of_slice_info_eff : Lic.slice_info -> string

val string_of_leff : bool -> Lic.left -> string

val string_of_leff_list : bool -> Lic.left list -> string

val array_of_size_one : Lic.val_exp -> bool

val string_of_by_pos_op_eff : 
  bool ->
  Lic.by_pos_op Lxm.srcflagged ->
  Lic.val_exp list ->
  Lv6Id.t

val cut_list : Lic.val_exp list -> Lic.val_exp * Lic.val_exp

val string_of_val_exp_eff : bool -> Lic.val_exp -> Lv6Id.t

val string_of_val_exp_eff_core : bool -> Lic.val_exp_core -> Lv6Id.t

val wrap_long_line : string -> string

val string_of_eq_info_eff : bool -> Lic.eq_info -> string

val string_of_assert : bool -> Lic.val_exp Lxm.srcflagged -> string

val string_of_eq : bool -> Lic.eq_info Lxm.srcflagged -> string

val wrap_long_profile : string -> string

val profile_of_node_exp_eff : bool -> Lic.node_exp -> string

val string_of_node_def : bool -> Lic.node_def -> string list

val type_decl : bool -> Lv6Id.long -> Lic.type_ -> string

val const_decl : bool -> Lv6Id.long -> Lic.const -> string

val node_of_node_exp_eff : bool -> Lic.node_exp -> string

val string_of_clock_exp : AstCore.clock_exp -> string

val string_of_ident_clk : Lv6Id.clk -> string

val string_of_clock2 : Lic.clock -> string

val string_of_clock : Lic.clock -> string

val op2string : AstPredef.op -> string

val node_error_string : 'a -> Lic.node_key -> string

val print_compile_node_error : Lic.node_key -> Lxm.t -> string -> unit

val print_global_node_error : 'a -> Lic.node_key -> string -> unit

package lustre-v6