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