type t = private inttype mask = private int
val disconnected : maskval preceding : maskval following : maskval contains : maskval contained_by : maskval implementation_specific : maskval has : t -> mask -> boolval add : mask -> mask -> maskval (+) : mask -> mask -> mask