package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lv6Compile`Source

Main bis

doit pl main_node compiles the pack and model list using main_node as main node.

val doit : 
  Lv6MainArgs.t ->
  AstV6.pack_or_model list ->
  Lv6Id.idref option ->
  LicPrg.t

Sourceval get_source_list : Lv6MainArgs.t -> string list -> AstV6.pack_or_model list