sig
val
mode :
'
a
->
bool
end