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