Module Facile.Var

module Var: sig .. end

module type ATTR = sig .. end
module Attr: ATTR  with type domain = Domain.t and type elt = int
module SetAttr: ATTR  with type domain = SetDomain.t and type elt = SetDomain.S.t
type ('a, 'b) concrete = 
| Unk of 'a
| Val of 'b
module type BASICFD = sig .. end
module type FD = sig .. end
module Fd: FD  with
      type domain = Domain.t and
      type elt = Domain.elt and
      type attr = Attr.t and
      type event = Attr.event
module SetFd: BASICFD  with
        type domain = SetDomain.t and
        type elt = SetDomain.S.t and
        type attr = SetAttr.t and
        type event = SetAttr.event
val delay : Attr.event list ->
Fd.t -> ?waking_id:int -> Facile.Cstr.t -> unit