Mordor OpenTheory Repo - Package option-dest-1.25

Sunset Tree

Package option-dest-1.25

Information

versions	1.11→ ··· →1.14→1.15→ 1.25 →1.29→1.30→ ··· → 1.56
description	Option type destructors
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	21:20:36 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