lustrec/src/tools/stateflow/common/activeStates.mli @ a7062da6
1 |
module Vars: Set.S with type elt = Basetypes.path_t |
---|---|
2 |
|
3 |
module Env: sig |
4 |
include Map.S with type key = Basetypes.path_t |
5 |
|
6 |
val from_set: Vars.t -> 'a -> 'a t |
7 |
end
|