Project

General

Profile

Revision 04a188ec src/lustre_types.ml

View differences:

src/lustre_types.ml
8 8
(*  version 2.1.                                                    *)
9 9
(*                                                                  *)
10 10
(********************************************************************)
11
  
11

  
12

  
12 13
type ident = Utils.ident
13 14
type rat = Utils.rat
14 15
type tag = Utils.tag

Also available in: Unified diff