Mordor OpenTheory Repo - Package option-dest-1.40

Sunset Tree

Package option-dest-1.40

Information

versions	1.11→ ··· →1.37→1.38→ 1.40 →1.43→1.45→ ··· → 1.56
description	Option type destructors
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	18:46:29 on Sunday 17 June 2012

For more details see the package document.

Includes

option-dest-thm-1.9 — Properties of option type destructors
option-dest-def-1.43 — Definition of option type destructors

Included By

option-1.52 — Option types