adam@1280: type fruit = int
adam@1280: table fruit : { Id : fruit, Nam : string, Weight : float, Secret : string }
adam@1280: PRIMARY KEY Id,
adam@1280: CONSTRAINT Nam UNIQUE Nam
adam@1280:
adam@1280: policy sendClient (SELECT fruit.Id, fruit.Nam
adam@1280: FROM fruit)
adam@1280:
adam@1280: policy sendClient (SELECT fruit.Weight
adam@1280: FROM fruit
adam@1280: WHERE known(fruit.Secret))
adam@1280:
adam@1280: policy equalKnown[#Secret] fruit
adam@1280:
adam@1280: fun main () =
adam@1280: x1 <- queryX (SELECT fruit.Id, fruit.Nam, fruit.Weight
adam@1280: FROM fruit
adam@1280: WHERE fruit.Nam = "apple"
adam@1280: AND fruit.Secret = "tasty")
adam@1280: (fn x => {[x.Fruit.Id]}: {[x.Fruit.Nam]}, {[x.Fruit.Weight]});
adam@1280:
adam@1280: return
adam@1280:
adam@1280: