Project

General

Profile

Revision 04a188ec src/corelang.mli

View differences:

src/corelang.mli
12 12

  
13 13
open Lustre_types
14 14

  
15
exception Error of Location.t * Error.error_kind
16 15
module VSet: sig
17 16
  include Set.S
18 17
  val pp: Format.formatter -> t -> unit 

Also available in: Unified diff