Module Facile.Invariant.Fd

module Fd: FD  with
        type fd = Var.Fd.t and type elt = Var.Fd.elt

type fd 
type elt 
val min : fd ->
elt Facile.Invariant.unsetable_t
val max : fd ->
elt Facile.Invariant.unsetable_t
val size : fd -> int Facile.Invariant.unsetable_t
val is_var : fd -> bool Facile.Invariant.unsetable_t
val unary : ?name:string ->
(fd -> 'a) ->
fd -> 'a Facile.Invariant.unsetable_t