package grenier

  1. Overview
  2. Docs
type domain
val domain : domain set
type codomain
val get : domain elt -> codomain