Mercurial > urweb
comparison src/settings.sig @ 857:3d2f6cb6d54a
-debug from the command line
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 27 Jun 2009 10:30:51 -0400 |
parents | 86ec89baee01 |
children | 346cf1908a17 |
comparison
equal
deleted
inserted
replaced
856:86ec89baee01 | 857:3d2f6cb6d54a |
---|---|
94 val addProtocol : protocol -> unit | 94 val addProtocol : protocol -> unit |
95 val getProtocol : string -> protocol option | 95 val getProtocol : string -> protocol option |
96 val setProtocol : string -> unit | 96 val setProtocol : string -> unit |
97 val currentProtocol : unit -> protocol | 97 val currentProtocol : unit -> protocol |
98 | 98 |
99 val setDebug : bool -> unit | |
100 val getDebug : unit -> bool | |
101 | |
99 end | 102 end |