sig
val
run_main : (unit
->
unit)
->
'
a
val
run_highlighted : (unit
->
unit)
->
'
a
end