diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-04 20:45:08 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-04 20:45:08 +0200 |
| commit | 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 (patch) | |
| tree | bdbbce79c18fdb2e68592ed828f43da0b03ecf8f /ppc.sig | |
| parent | 546a5861526192a908f2aa2bfc3cfe4f3f3baf43 (diff) | |
Registration of declarations
Diffstat (limited to 'ppc.sig')
| -rw-r--r-- | ppc.sig | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -15,6 +15,8 @@ signature PPC = sig Cop | Cexpr + val warning: tkPos -> ((bool * ((string -> unit) * (unit -> unit))) + * ('a * ((string -> unit) * (unit -> unit)) -> unit) -> 'c) -> 'c val clerror: tkPos -> tkClass list -> 'a val error: tkPos -> ((bool * ((string -> unit) * (unit -> unit))) * ('a * ((string -> unit) * (unit -> unit)) -> 'b) -> 'c) -> 'c |