Gilith OpenTheory Repo - Package option-1.60

Sunset Tree

Package option-1.60

Information

versions	1.0→ ··· →1.56→1.58→ 1.60 →1.62→1.64→ ··· → 1.72
description	Option types
author	Joe Leslie-Hurd <joe@gilith.com>
license	MIT
installed	21:31:02 on Saturday 10 November 2012

For more details see the package document.

Includes

option-def-1.54 — Definition of option types
option-dest-1.47 — Option type destructors
option-map-1.6 — The option map function
option-thm-1.47 — Properties of option types

Included By

base-1.131 — The standard theory library
base-1.132 — The standard theory library