Mordor OpenTheory Repo - Package option-1.43

Sunset Tree

Package option-1.43

Information

versions	1.13→ ··· →1.40→1.42→ 1.43 →1.46→1.49→ ··· → 1.72
description	Option types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	19:49:03 on Friday 9 March 2012

For more details see the package document.

Includes

option-dest-1.32 — Option type destructors
option-thm-1.30 — Properties of option types
option-def-1.39 — Definition of option types

Included By

base-1.81 — The standard theory library