Up
–
bastet
»
Bastet
»
Result
»
Many_Valued_Logic
»
Join_Semilattice
» 2-Error
Parameter
Join_Semilattice.2-Error
type
t
val
join :
t
->
t
->
t