package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `Wutil.selector`Source

Has type Widget.selector

inherit 'a signal

method set : 'a -> unit

method get : 'a

method send : ('a -> unit) -> unit -> unit