Wutil_once
val once : ('a -> 'b) -> 'a -> 'b
once f returns a function that will only be applied once per execution of the program and returns the same value afterwards.
once f
Frama-C