Gilith OpenTheory Repo - Package option-1.56

Sunset Tree

Package option-1.56

Information

versions	1.0→ ··· →1.50→1.52→ 1.56 →1.58→1.60→ ··· → 1.72
description	Option types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	14:57:41 on Thursday 16 August 2012

For more details see the package document.

Includes

option-def-1.51 — Definition of option types
option-dest-1.43 — Option type destructors
option-map-1.2 — The option map function
option-thm-1.43 — Properties of option types