name: set version: 1.78 description: Set types author: Joe Leslie-Hurd license: MIT requires: bool requires: function requires: natural requires: pair show: "Data.Bool" show: "Data.Pair" show: "Function" show: "Number.Natural" show: "Set" def { package: set-def-1.52 checksum: a130d0c53fa5eb070f40b36d2fe74d500eab3a65 } thm { import: def package: set-thm-1.71 checksum: af66dab151e1e911edeb92b7538daf8fe3af6b83 } finite { import: def import: thm package: set-finite-1.60 checksum: 512d8ee40e81b7918c584fb4b52b33ea0ad9acc9 } fold { import: thm import: finite package: set-fold-1.46 checksum: 24c4f848d83eec4cebfaa91096efe5bdb3015b6e } size { import: def import: thm import: finite import: fold package: set-size-1.57 checksum: 568859758878006933e74d5a4ca350ed0c3bac15 } main { import: def import: thm import: finite import: fold import: size }