Mordor OpenTheory Repo - Package option-map-1.2

Sunset Tree

Package option-map-1.2

Information

versions	1.2 →1.4→1.6→ ··· → 1.14
description	The option map function
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	07:39:34 on Thursday 16 August 2012

For more details see the package document.

Includes

option-map-def-1.6 — Definition of the option map function
option-map-thm-1.6 — Properties of the option map function

Included By

option-1.56 — Option types