sig
type
t =
CfgWP
.
VC
.effect
val
compare :
CfgWP
.
VC
.effect
->
CfgWP
.
VC
.effect
->
int
end