Mercurial > urweb

comparison lib/ur/basis.urs @ 1073:b2311dfb3158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 9001966ae1c8
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
521 521
522 (*** Sequences *) 522 (*** Sequences *)
523 523
524 type sql_sequence 524 type sql_sequence
525 val nextval : sql_sequence -> transaction int 525 val nextval : sql_sequence -> transaction int
526 val setval : sql_sequence -> int -> transaction unit
526 527
527 528
528 (** XML *) 529 (** XML *)
529 530
530 type css_class 531 type css_class