package slap

  1. Overview
  2. Docs

The signature of modules containing dynamically-sized discrete matrices.

type m

A generative phantom type.

type n

A generative phantom type.

A generative phantom type.

val value : (m, n, Slap_misc.dsc) mat

A dynamically-sized discrete matrix with type like exists m, n. (m, n, dsc) vec.