adamc@300: table t1 : {A : int, B : string, C : float, D : bool} adamc@300: adamc@300: fun main () : transaction page = adamc@300: () <- dml (update {B = "6", C = 7.0} t1 (WHERE T.A = 5)); adamc@300: return Updated.