Gilith OpenTheory Repo - Package option-dest-1.25

Sunset Tree

Package option-dest-1.25

Information

versions	1.0→1.14→1.15→ 1.25 →1.30→1.32→ ··· → 1.56
description	Option type destructors
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	21:42:15 on Thursday 1 December 2011

For more details see the package document.

Includes

option-dest-def-1.27 — Definition of option type destructors
option-dest-thm-1.7 — Properties of option type destructors

Included By

option-1.33 — Option types