package slap

  1. Overview
  2. Docs

A functor vesion of of_array.

Parameters

module X : sig ... end

Signature

type m

A generative phantom type.

type n

A generative phantom type.

A generative phantom type.

val value : (m, n, 'cnt) mat

A dynamically-sized contiguous matrix with type like exists m, n. (m, n, 'cnt) mat.