192 |
|
|
193 |
end |
end |
194 |
|
|
195 |
let env : environmentType option ref = ref None |
let env : environment option ref = ref None |
196 |
|
|
197 |
(** |
(** |
198 |
The function which provides a unique instance on the environment to the |
The function which provides a unique instance on the environment to the |
199 |
various objects in LibNN. |
various objects in LibNN. |
200 |
*) |
*) |
201 |
let getEnv() : environmentType = |
let getEnv() : environment = |
202 |
match !env with |
match !env with |
203 |
None -> |
None -> |
204 |
let result = new environment |
let result = new environment |