Module Finite.Map_of_array

Parameters

module A : sig ... end

Signature

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