package grenier

  1. Overview
  2. Docs

Parameters

module A : sig ... end

Signature

module Domain : Set
type codomain = A.codomain
val element : Domain.t element -> codomain