Project

General

Profile

Revision 3b2bd83d src/env.ml

View differences:

src/env.ml
13 13
    clock-calculus. *)
14 14
open Utils
15 15

  
16
type 'a t  = 'a IMap.t
16 17
(* Same namespace for nodes, variables and constants *)
17 18
let initial = IMap.empty
18 19

  

Also available in: Unified diff