type user
val root : user
val inj_user : sql_injectable_prim user
val eq_user : eq user

table user : { Id : user, Nam : string, Pass : string }
  PRIMARY KEY Id

val userId : unit -> transaction (option user)
val blurb : unit -> transaction xbody