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