diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-30 15:49:48 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-30 15:49:48 +0200 |
| commit | 246df63a73a1a583284e38e61f94ed4ac0874ece (patch) | |
| tree | aa48f75e1fc346c93175f8a824f62074eeb8cc0c /ppc.sig | |
| parent | c0599bcbb92af9cbaea52af3560ae08009d1b09d (diff) | |
Statements
Diffstat (limited to 'ppc.sig')
| -rw-r--r-- | ppc.sig | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -9,9 +9,11 @@ signature PPC = sig Ctk of T.token | Cid | Cconst | + Cstrlit | Cunop | Cbinop | - Cop + Cop | + Cexpr val clerror: tkPos -> tkClass list -> 'a val error: tkPos -> ((bool * ((string -> unit) * (unit -> unit))) |