Mordor OpenTheory Repo - Package option-1.65

Sunset Tree

Package option-1.65

Information

versions	1.13→ ··· →1.62→1.64→ 1.65 →1.70→1.71→ 1.72
description	Option types
author	Joe Leslie-Hurd <joe@gilith.com>
license	MIT
installed	05:00:09 on Wednesday 2 July 2014

For more details see the package document.

Includes

option-def-1.57 — Definition of option types
option-thm-1.50 — Properties of option types
option-dest-1.50 — Option type destructors
option-map-1.9 — The option map function

Included By

base-1.159 — The standard theory library
base-1.160 — The standard theory library