Mercurial > urweb

comparison lib/ur/basis.urs @ 1199:c316ca3c9ec6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents aff5e661b5f8
children ae3036773768
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
793 793
794 type task_kind 794 type task_kind
795 val initialize : task_kind 795 val initialize : task_kind
796 796
797 797
798 (** Information flow security *)
799
800 type sql_policy
801
802 val query_policy : tables ::: {{Type}} -> exps ::: {Type}
803 -> [tables ~ exps] => sql_query [] tables exps
804 -> sql_policy
805
806
798 val debug : string -> transaction unit 807 val debug : string -> transaction unit