Entry	Value
Package Name	option-map-def
Count	2
Theorems	map_option_none : !f. map_option f NONE = NONE map_option_some : !f a. map_option f (SOME a) = SOME (f a)

Back to main package page