Revision 3b2bd83d
Added by Teme Kahsai about 8 years ago
| 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
updating to onera version 30f766a:2016-12-04