Parent Directory
| 
Revision Log
[r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ... Original author: cvscast Date: 2003-09-27 12:41:34+00:00
| 1 | open Location |
| 2 | type type_fun = Types.t -> bool -> Types.t |
| 3 | |
| 4 | module Unary: sig |
| 5 | include Custom.T with type t = int |
| 6 | |
| 7 | val register: |
| 8 | string -> |
| 9 | (Typer.t -> 'a) -> |
| 10 | ('a -> loc -> type_fun -> type_fun) -> |
| 11 | ('a -> Value.t -> Value.t) -> |
| 12 | ('a Serialize.Put.f) -> |
| 13 | ('a Serialize.Get.f) -> unit |
| 14 | end |
| 15 | |
| 16 | |
| 17 | module Binary: sig |
| 18 | include Custom.T with type t = int |
| 19 | |
| 20 | val register: |
| 21 | string -> |
| 22 | (Typer.t -> 'a) -> |
| 23 | ('a -> loc -> type_fun -> type_fun -> type_fun) -> |
| 24 | ('a -> Value.t -> Value.t -> Value.t) -> |
| 25 | ('a Serialize.Put.f) -> |
| 26 | ('a Serialize.Get.f) -> unit |
| 27 | end |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |