package grenier

  1. Overview
  2. Docs

Module Array.Of_arraySource

Parameters

module A : sig ... end

Signature

include Natural.T
Sourcetype n
Sourcetype a = A.a
Sourceval table : (n, a) t