package lustre-v6

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

Module AstTabSource

Tabulated version of the parse tree.

  • créée à partir de la liste des pack/modeles
  • s'occupe de l'instanciation (purement syntaxique) des modeles
  • crée pour chaque pack provided la liste ``brute'' des noms d'items exportés. Cette liste sera importante pour traiter les "use" lors de la création des tables de symboles de chaque pack
Sourcetype t
Sourceval create : AstV6.pack_or_model list -> t
Sourceval pack_body_env : t -> Lv6Id.pack_name -> AstTabSymbol.t

accès aux infos

Sourceval pack_prov_env : t -> Lv6Id.pack_name -> AstTabSymbol.t option

A package may have no provided part

Sourceval pack_list : t -> Lv6Id.pack_name list

Liste des noms de packs

Sourceval dump : t -> unit

For debug.

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