package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 = {

}

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