Theory option

theory file

name option
version 1.72
requires
meta.description Option types
meta.author Joe Leslie-Hurd <joe@gilith.com>
meta.license MIT
meta.show "Data.Bool"
meta.show "Data.Option"
meta.show "Function"
meta.show "Number.Natural"
name main
imports
  • def
  • thm
  • dest
  • map
subs
4 subs
name def
package option-def-1.61
name thm
imports
  • def
package option-thm-1.54
name dest
imports
  • def
  • thm
package option-dest-1.56
name map
imports
  • def
  • thm
package option-map-1.14
[evaluating…]