BoundedMeetSemilatticeΒΆ
logic.spad line 1759 [edit on github]
meet semilattice with top Implementations in set, logic and orders for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/index.htm
- /\: (%, %) -> %
from MeetSemilattice
- coerce: % -> OutputForm
from CoercibleTo OutputForm
- hash: % -> SingleInteger
from SetCategory
- hashUpdate!: (HashState, %) -> HashState
from SetCategory
- latex: % -> String
from SetCategory
- T: %
Top (
true
in logic).