No other cites to report in EditorDoc | |
buttonmldoquit | Def $s == $s |
buttonmldo | Def $s Def == (let thunk () ml in last_mlbutton_fn := (t.thunk () ; t) ; thunk ()) |
ml_theunit | Def () == () |
ml_apply | Def a b == ((a)(b)) |
ml_seq | Def a ; b == ((a);(b)) |
ml_lambda | Def a.b == (\a.(b)) |
ml_assign | Def a := b == ((a):=(b)) |
ml_letin | Def let$mod a b in c == let$mod a b in c |
ml_decl | Def a b == a=(b) |
ml_letin_wrap | Def let$mod D in c == let$mod D in (c) |
ml_parens | Def (a) == (a) |
Syntax: | has structure: |
About: