module Fcl_var:sig
..end
module type ATTR =sig
..end
module Attr:ATTR
with type domain = Fcl_domain.t and type elt = Fcl_domain.elt
module SetAttr:ATTR
with type domain = Fcl_setDomain.t and type elt = Fcl_setDomain.S.t
type ('a, 'b)
concrete =
| |
Unk of |
|||
| |
Val of |
(* |
Concrete type of the value of finite domain variables.
| *) |
module type BASICFD =sig
..end
module type FD =sig
..end
module Fd:FD
with type domain = Fcl_domain.t and type elt = Fcl_domain.elt and type attr = Attr.t and type event = Attr.event
module SetFd:BASICFD
with type domain = Fcl_setDomain.t and type elt = Fcl_setDomain.S.t and type attr = SetAttr.t and type event = SetAttr.event