sig
  val min : Var.Fd.t array -> Var.Fd.t
  val max : Var.Fd.t array -> Var.Fd.t
  val min_cstr : Var.Fd.t array -> Var.Fd.t -> Cstr.t
  val max_cstr : Var.Fd.t array -> Var.Fd.t -> Cstr.t
  val get : Var.Fd.t array -> Var.Fd.t -> Var.Fd.t
  val get_cstr : Var.Fd.t array -> Var.Fd.t -> Var.Fd.t -> Cstr.t
end