MuCheck.MuOp
data
MuOp
(==>*)
(*==>*)
(~~>)
mkMp'
class
Mutable
a