type ('a, 'b) t = ('a, 'b) Fcl_invariant.t
type setable = Fcl_invariant.setable
type unsetable = Fcl_invariant.unsetable
type 'a setable_t = ('a, setable) t
type 'a unsetable_t = ('a, unsetable) t
val create : ?name:string -> 'a -> 'a setable_t
val constant : ?name:string -> 'a -> 'a unsetable_t
val set : 'a setable_t -> 'a -> unit
val get : ('a, 'b) t -> 'a
val id : ('a, 'b) t -> int
val name : ('a, 'b) t -> string
val fprint :
  out_channel -> ?printer:(out_channel -> 'a -> unit) -> ('a, 'b) t -> unit
val unary : ?name:string -> ('a -> 'b) -> ('a, 'c) t -> 'b unsetable_t
val binary :
  ?name:string ->
  ('a -> 'b -> 'c) -> ('a, 'd) t -> ('b, 'e) t -> 'c unsetable_t
val ternary :
  ?name:string ->
  ('a -> 'b -> 'c -> 'd) ->
  ('a, 'e) t -> ('b, 'f) t -> ('c, 'g) t -> 'd unsetable_t
val sum : (int, 'a) t array -> int unsetable_t
val prod : (int, 'a) t array -> int unsetable_t
module Array :
  sig
    val get : ('a, 'b) t array -> (int, 'c) t -> 'a unsetable_t
    val argmin : ('a, 'b) t array -> ('a -> 'c) -> int unsetable_t
    val min : ('a, 'b) t array -> ('a -> 'c) -> 'a unsetable_t
  end
module type FD =
  sig
    type fd
    type elt
    val min : fd -> elt unsetable_t
    val max : fd -> elt unsetable_t
    val size : fd -> int unsetable_t
    val is_var : fd -> bool unsetable_t
    val unary : ?name:string -> (fd -> 'a) -> fd -> 'a unsetable_t
  end
module Fd :
  sig
    type fd = Fcl_var.Fd.t
    type elt = Fcl_var.Fd.elt
    val min : fd -> elt unsetable_t
    val max : fd -> elt unsetable_t
    val size : fd -> int unsetable_t
    val is_var : fd -> bool unsetable_t
    val unary : ?name:string -> (fd -> 'a) -> fd -> 'a unsetable_t
  end
module SetFd :
  sig
    type fd = Fcl_var.SetFd.t
    type elt = Fcl_var.SetFd.elt
    val min : fd -> elt unsetable_t
    val max : fd -> elt unsetable_t
    val size : fd -> int unsetable_t
    val is_var : fd -> bool unsetable_t
    val unary : ?name:string -> (fd -> 'a) -> fd -> 'a unsetable_t
  end