Up
–
fix
»
Fix
»
Prop
»
Set
» X
Parameter
Set.X
type
t
val
empty :
t
val
equal :
t
->
t
->
bool