GUtil.variable.3o

Langue: en

Version: 273447 (debian - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

NAME

GUtil.variable - no description

Class

Class GUtil.variable

Documentation

class 'a variable : 'a -> object end

Parameters:

""

'a

val set : 'a GUtil.signal

val changed : 'a GUtil.signal

val mutable x : 'a

method connect : 'a GUtil.variable_signals

method get : 'a

method set : 'a -> unit

method private equal : 'a -> 'a -> bool

method private real_set : 'a -> unit