package lustre-v6

  1. Overview
  2. Docs
package lustre-v6
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lv6IdSource

Sourcetype t = string
Sourcetype long = t * t
Sourcetype pack_name = t
Sourceval to_string : t -> string
Sourceval of_string : string -> t
Sourceval of_long : long -> t
Sourceval pack_name_of_string : string -> pack_name
Sourceval pack_name_to_string : pack_name -> string
Sourceval pack_of_long : long -> pack_name
Sourceval string_of_long : bool -> long -> string
Sourceval string_of_long_bis : bool -> long -> string
Sourceval long_of_string : string -> long
Sourceval no_pack_string_of_long : long -> string

To ignore pack name (meaningful when generating ec code for exemple

Sourceval make_long : pack_name -> t -> long
Sourceval out_of_pack : string -> long

lift simple string to long WITH EMPTY PACK

Sourceval set_dft_pack_name : pack_name -> unit
Sourcetype idref = {
  1. id_pack : string option;
  2. id_id : string;
}
Sourceval idref_of_string : string -> idref
Sourceval make_idref : pack_name -> t -> idref
Sourceval string_of_idref : bool -> idref -> string
Sourceval raw_string_of_idref : idref -> string
Sourceval of_idref : bool -> idref -> t
Sourceval to_idref : t -> idref
Sourceval name_of_idref : idref -> t
Sourceval pack_of_idref : idref -> pack_name option
Sourceval long_of_idref : idref -> long

long_of_idref default_pack_name id_ref builds a long ident from a AstV6.idref

Sourceval idref_of_long : long -> idref
Sourceval idref_of_id : t -> idref
Sourcetype clk = long * t
Sourceval string_of_clk : clk -> string
Sourceval wrap_idref : idref -> string -> string -> idref
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct