Mercurial > gui
comparison remotePager.urs @ 22:4362b15220e4
Comment corrections based on code review.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Mon, 22 Aug 2011 05:06:15 -0430 |
parents | 2e397d373289 |
children |
comparison
equal
deleted
inserted
replaced
17:2947170fcfd6 | 22:4362b15220e4 |
---|---|
35 datatype response err = Good of pageData | Bad of err | 35 datatype response err = Good of pageData | Bad of err |
36 (* The RPC gives us either page information or an error code. *) | 36 (* The RPC gives us either page information or an error code. *) |
37 | 37 |
38 functor Make(M : sig | 38 functor Make(M : sig |
39 type errorMarker | 39 type errorMarker |
40 (* Classifies the possible error conditions returned by the rpc call. *) | 40 (* Classifies the possible error conditions returned by the rpc. *) |
41 | 41 |
42 type pageGroup | 42 type pageGroup |
43 (* Classifies families of pages. *) | 43 (* Classifies families of pages. *) |
44 | 44 |
45 val initPage : pageGroup -> transaction pageData | 45 val initPage : pageGroup -> transaction pageData |