lustre-v6
Lv6Id
type t = string
type long = t * t
type pack_name = t
val to_string : t -> string
val of_string : string -> t
val of_long : long -> t
val pack_name_of_string : string -> pack_name
val pack_name_to_string : pack_name -> string
val pack_of_long : long -> pack_name
val string_of_long : bool -> long -> string
val string_of_long_bis : bool -> long -> string
val long_of_string : string -> long
val no_pack_string_of_long : long -> string
To ignore pack name (meaningful when generating ec code for exemple
val make_long : pack_name -> t -> long
val out_of_pack : string -> long
lift simple string to long WITH EMPTY PACK
val set_dft_pack_name : pack_name -> unit
type idref = {
id_pack : string option;
id_id : string;
}
val idref_of_string : string -> idref
val make_idref : pack_name -> t -> idref
val string_of_idref : bool -> idref -> string
val raw_string_of_idref : idref -> string
val of_idref : bool -> idref -> t
val to_idref : t -> idref
val name_of_idref : idref -> t
val pack_of_idref : idref -> pack_name option
val long_of_idref : idref -> long
long_of_idref default_pack_name id_ref builds a long ident from a AstV6.idref
long_of_idref default_pack_name id_ref
val idref_of_long : long -> idref
val idref_of_id : t -> idref
type clk = long * t
val string_of_clk : clk -> string
val wrap_idref : idref -> string -> string -> idref