Module `LicDump`Source

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

Sourceval dump_entete : out_channel -> unit

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

Sourceval is_a_tuple : Lic.val_exp -> bool

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

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

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

Sourceval correct_num_string : Lv6Id.t -> Lv6Id.t

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

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

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

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

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

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

Source

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sourceval string_of_slice_info_eff : Lic.slice_info -> string

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

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

Sourceval array_of_size_one : Lic.val_exp -> bool

Source

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

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

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

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

Sourceval wrap_long_line : string -> string

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

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

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

Sourceval wrap_long_profile : string -> string

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

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

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

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

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

Sourceval string_of_clock_exp : AstCore.clock_exp -> string

Sourceval string_of_ident_clk : Lv6Id.clk -> string

Sourceval string_of_clock2 : Lic.clock -> string

Sourceval string_of_clock : Lic.clock -> string

Sourceval op2string : AstPredef.op -> string

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

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

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

package lustre-v6

Module LicDumpSource

Module `LicDump`Source