package lustre-v6

  1. Overview
  2. Docs

Tabulated version of the parse tree.

  • cre partir de la liste des pack/modeles
  • s'occupe de l'instanciation (purement syntaxique) des modeles
  • cre pour chaque pack provided la liste ``brute'' des noms d'items exports. Cette liste sera importante pour traiter les "use" lors de la cration des tables de symboles de chaque pack
type t
val create : AstV6.pack_or_model list -> t
val pack_body_env : t -> Lv6Id.pack_name -> AstTabSymbol.t

accs aux infos

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

A package may have no provided part

val pack_list : t -> Lv6Id.pack_name list

Liste des noms de packs

val dump : t -> unit

For debug.

OCaml

Innovation. Community. Security.