package grenier

  1. Overview
  2. Docs

Parameters

module A : sig ... end

Signature

include Natural.T
type n
val n : n Natural.t
type a = A.a
val table : (n, a) t
OCaml

Innovation. Community. Security.