Entry	Value
Package Name	option-dest-def
Count	6
Theorems	case_option_none : !b f. case_option b f NONE = b case_option_some : !b f a. case_option b f (SOME a) = f a is_none_none : is_none NONE is_none_some : !a. ~is_none (SOME a) is_some_none : ~is_some NONE is_some_some : !a. is_some (SOME a)

Back to main package page