annotate demo/crud1.ur @ 635:75c7a69354d6

Coq formalization uses TDisjoint
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 16:08:14 -0500
parents 6302b10dbe0e
children 1a317a707d71
rev   line source
adamc@421 1 table t1 : {Id : int, A : int, B : string, C : float, D : bool}
adamc@421 2
adamc@421 3 open Crud.Make(struct
adamc@421 4 val tab = t1
adamc@421 5
adamc@421 6 val title = "Crud1"
adamc@421 7
adamc@421 8 val cols = {A = Crud.int "A",
adamc@421 9 B = Crud.string "B",
adamc@421 10 C = Crud.float "C",
adamc@421 11 D = Crud.bool "D"}
adamc@421 12 end)