table t : { A : int } view v = SELECT t.A AS A FROM t WHERE t.A > 7 fun list (u ::: Type) (_ : fieldsOf u [A = int]) (title : string) (x : u) = xml <- queryX (SELECT * FROM x) (fn r : {X : {A : int}} =>
  • {[r.X.A]}
    • ); return

    {[title]}

     fun main () = listT <- list "T" t; listV <- list "V" v; return {listT} {listV}
    Insert:
    and ins r = dml (INSERT INTO t (A) VALUES ({[readError r.A]})); main ()