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