module GuiSource:sig
..end
type
selection =
| |
S_none |
| |
S_fun of |
| |
S_prop of |
| |
S_call of |
type
call = {
|
s_caller : |
|
s_called : |
|
s_stmt : |
}
class popup :unit ->
object
..end
class highlighter :Design.main_window_extension_points ->
object
..end