Utils.Mat_patt
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