package lacaml

  1. Overview
  2. Docs
type kind =
  1. | Upper
  2. | Lower
val check_upent : loc:string -> l:int -> m:int -> unit
val check_lpent : loc:string -> l:int -> n:int -> unit
val check_args : loc:string -> m:int -> n:int -> Common.Types.Mat.patt option -> unit
val normalize_args : loc:string -> m:int -> n:int -> Common.Types.Mat.patt option -> kind * int
val patt_of_uplo : uplo:[ `L | `U ] option -> patt:Common.Types.Mat.patt option -> Common.Types.Mat.patt option
val patt_of_up : up:bool option -> patt:Common.Types.Mat.patt option -> Common.Types.Mat.patt option
OCaml

Innovation. Community. Security.