Smartsheet.sheet_id

urweb · Aug 15, 2023 · de6a65c · de6a65c
1 parent 3e56ace
commit de6a65c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/ur/smartsheet.ur b/src/ur/smartsheet.ur
@@ -135,6 +135,7 @@ val _ : json cell = json_record_withOptional
 type sheet_id = int
 val show_sheet_id = _
 val inj_sheet_id = _
+fun sheet_id n = n
 
 type row_id = int
 val show_row_id = _

diff --git a/src/ur/smartsheet.urs b/src/ur/smartsheet.urs
@@ -73,6 +73,7 @@ type cell = {
 type sheet_id
 val show_sheet_id : show sheet_id
 val inj_sheet_id : sql_injectable_prim sheet_id
+val sheet_id : int -> sheet_id
 
 type row_id
 val show_row_id : show row_id