Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly

1 files changed, 5 insertions, 0 deletions

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index ffce96c0..330bea31 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -194,6 +194,11 @@ val sql_blob : sql_injectable_prim blob
 val sql_channel : t ::: Type -> sql_injectable_prim (channel t)
 val sql_client : sql_injectable_prim client
 
+con serialized :: Type -> Type
+val serialize : t ::: Type -> t -> serialized t
+val deserialize : t ::: Type -> serialized t -> t
+val sql_serialized : t ::: Type -> sql_injectable_prim (serialized t)
+
 con primary_key :: {Type} -> {{Unit}} -> Type
 val no_primary_key : fs ::: {Type} -> primary_key fs []
 val primary_key : rest ::: {Type} -> t ::: Type -> key1 :: Name -> keys :: {Type}