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