Frama_c_gui.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