Mercurial > urweb

comparison lib/ur/basis.urs @ 745:ee2feab275db

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
blobSize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 11:07:25 -0400
parents f7e2026dd5ae
children 2c7244c066f1
comparison
equal deleted inserted replaced
744:1ef3c1ef617d 745:ee2feab275db
522 val upload : formTag file [] [Value = string, Size = int] 522 val upload : formTag file [] [Value = string, Size = int]
523 523
524 type mimeType 524 type mimeType
525 val blessMime : string -> mimeType 525 val blessMime : string -> mimeType
526 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t 526 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
527 val blobSize : blob -> int
527 528
528 con radio = [Body, Radio] 529 con radio = [Body, Radio]
529 val radio : formTag string radio [] 530 val radio : formTag string radio []
530 val radioOption : unit -> tag [Value = string] radio [] [] [] 531 val radioOption : unit -> tag [Value = string] radio [] [] []
531 532