Mordor OpenTheory Repo - Package option-1.64

Sunset Tree

Package option-1.64

Information

versions	1.13→ ··· →1.60→1.62→ 1.64 →1.65→1.70→ ··· → 1.72
description	Option types
author	Joe Leslie-Hurd <joe@gilith.com>
license	MIT
installed	04:21:14 on Sunday 23 March 2014

For more details see the package document.

Includes

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

Included By

base-1.157 — The standard theory library
base-1.158 — The standard theory library