package caisar

You can search for identifiers within the package.

in-package search v0.2.0

A platform for characterizing the safety and robustness of artificial intelligence based software

Install

sha256=1b25c8668d428bcfc83c95147b6e45ff0a3bfa05ecd11369d12e963e29819e2e

sha512=edc7d7c0e96802811de3cb1caa3d14cc3d867ee7310748e8188eca9246a362549545c7816c8037511931dc4b7770b5ccc11b0d03abe8843b7c4db7880bf8e1fd

Sourcetype t

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

Sourceval compare : t -> t -> Ppx_deriving_runtime.int

Sourceval equal : t -> t -> Ppx_deriving_runtime.bool

Sourceval to_array : t -> int array

Sourceval of_array : int array -> t

Sourceval to_list : t -> int list

Sourceval of_list : int list -> t

Sourceval rank : t -> int

Sourceval size : t -> int

Sourceval get : t -> int -> int

Sourceval set : t -> int -> int -> t

Sourceval row_major : t -> int array -> int

Sourceval unrow_major : t -> int -> int array

Sourceval to_array_unsafe : t -> int array