package lustre-v6

  1. Overview
  2. Docs
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 = {
  1. id_pack : string option;
  2. 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

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
OCaml

Innovation. Community. Security.