package lacaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type kind =

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