sig
  val dotprod : Nvector.NVECTOR_OPS.t -> Nvector.NVECTOR_OPS.t -> float
  val maxnorm : Nvector.NVECTOR_OPS.t -> float
  val min : Nvector.NVECTOR_OPS.t -> float
  val l1norm : Nvector.NVECTOR_OPS.t -> float
  val invtest : Nvector.NVECTOR_OPS.t -> Nvector.NVECTOR_OPS.t -> bool
  val constrmask :
    Nvector.NVECTOR_OPS.t ->
    Nvector.NVECTOR_OPS.t -> Nvector.NVECTOR_OPS.t -> bool
  val minquotient : Nvector.NVECTOR_OPS.t -> Nvector.NVECTOR_OPS.t -> float
  val wsqrsum : Nvector.NVECTOR_OPS.t -> Nvector.NVECTOR_OPS.t -> float
  val wsqrsummask :
    Nvector.NVECTOR_OPS.t ->
    Nvector.NVECTOR_OPS.t -> Nvector.NVECTOR_OPS.t -> float
  val dotprodmulti :
    Nvector.NVECTOR_OPS.t ->
    Nvector.NVECTOR_OPS.t array -> Sundials.RealArray.t -> unit
  val dotprodmulti_allreduce :
    Nvector.NVECTOR_OPS.t -> Sundials.RealArray.t -> unit
end