Project

General

Profile

« Previous | Next » 

Revision 5de4dde4

Added by Pierre-Loïc Garoche over 3 years ago

Major refreshing of machine generation

View differences:

src/corelang.mli
16 16
module VSet: sig
17 17
  include Set.S
18 18
  val pp: Format.formatter -> t -> unit 
19
  val get: ident -> t -> elt
19 20
end with type elt = Lustre_types.var_decl 
20 21
  
21 22
val dummy_type_dec: type_dec

Also available in: Unified diff