package lustre-v6

  1. Overview
  2. Docs
val gen_files : Soc.t -> Soc.tbl -> LicPrg.t -> string -> string -> string -> bool * bool
val const_declaration : LicPrg.t -> string
val gen_getters : string -> LicPrg.t -> Soc.t -> string