diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-25 23:46:06 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-25 23:46:06 +0200 |
commit | a952ae451cc27d5de3877bb522db6c050532ea2a (patch) | |
tree | bb65fb619721729dbfeddc4671f0e04b08c989ab /ppc.sig | |
parent | d9c809a5550b2fe23b2fd1e66672b503730d55f1 (diff) |
Nested expressions
Diffstat (limited to 'ppc.sig')
-rw-r--r-- | ppc.sig | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -14,6 +14,8 @@ signature PPC = sig Cop val clerror: tkPos -> tkClass list -> 'a + val error: tkPos -> ((bool * ((string -> unit) * (unit -> unit))) + * ('a * ((string -> unit) * (unit -> unit)) -> 'b) -> 'c) -> 'c val create: { fname: string, incDirs: string list, debugMode: bool } -> t val getToken: t -> T.token * tkPos * t |