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