package lustre-v6

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.