package lustre-v6

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

Module AstTabSymbolSource

Maps ident to entities (const, type et oper) in some particular contexts.

Sourcetype 'a elt =
  1. | Local of 'a
  2. | Imported of Lv6Id.long * AstCore.static_param Lxm.srcflagged list

Symbol table elements.

Sourcetype t
Sourceval create : unit -> t

Manip de AstTabSymbol.t

Raise a proper compil error message if not found

Sourceval find_pack_of_type : t -> Lv6Id.t -> Lxm.t -> Lv6Id.pack_name
Sourceval find_pack_of_const : t -> Lv6Id.t -> Lxm.t -> Lv6Id.pack_name
Sourceval add_import_const : t -> Lv6Id.pack_name -> Lv6Id.t -> Lv6Id.long -> unit

Ajout de nom d'item importés (via uses)

Sourceval add_import_type : t -> Lv6Id.t -> Lv6Id.long -> unit
Sourceval add_import_node : t -> Lv6Id.t -> Lv6Id.long -> AstCore.static_param Lxm.srcflagged list -> unit

Add local items declaration

Sourceval add_node : t -> Lv6Id.t -> AstCore.node_info Lxm.srcflagged -> unit

Itérer sur les items

Sourceval iter_types : t -> (Lv6Id.t -> AstCore.type_info Lxm.srcflagged elt -> unit) -> unit
Sourceval iter_consts : t -> (Lv6Id.t -> AstCore.const_info Lxm.srcflagged elt -> unit) -> unit
Sourceval iter_nodes : t -> (Lv6Id.t -> AstCore.node_info Lxm.srcflagged elt -> unit) -> unit
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