Module type Facile.Invariant.FD

module type FD = sig .. end

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