Up
–
bastet
»
Bastet
»
Test
»
Bool
»
M
»
Join_Semilattice
» 1-JS
Parameter
Join_Semilattice.1-JS
type
t
val
join :
t
->
t
->
t