table t : { N : float } fun insert r = dml (INSERT INTO t (N) VALUES ({[readError r.N]})); return fun main () = return