theory option-dest-1.56

name	option-dest
version	1.56
requires	bool option-def option-thm
meta.description	Option type destructors
meta.author	Joe Leslie-Hurd <joe@gilith.com>
meta.license	MIT
meta.show	"Data.Bool"
meta.show	"Data.Option"

name	main
imports	def thm

name	def
package	option-dest-def-1.61