Gilith OpenTheory Repo - Package option-dest-1.32

Sunset Tree

Package option-dest-1.32

Information

versions	1.0→ ··· →1.25→1.30→ 1.32 →1.35→1.37→ ··· → 1.56
description	Option type destructors
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	10:20:29 on Monday 13 February 2012

For more details see the package document.

Includes

option-dest-thm-1.8 — Properties of option type destructors
option-dest-def-1.35 — Definition of option type destructors

Included By

option-1.42 — Option types
option-1.43 — Option types