From 96a7702d4f8fe7840325ea75564801409d63d821 Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Thu, 13 Nov 2025 16:18:23 +0100 Subject: Use nutrient-value-pair/c contract throughout domain model. --- models/user.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'models/user.rkt') diff --git a/models/user.rkt b/models/user.rkt index 2cbf4fe..a56b469 100644 --- a/models/user.rkt +++ b/models/user.rkt @@ -1,14 +1,14 @@ #lang racket (provide - ;; Struct definitions + ;; Model struct user user? user-id user-name user-role - ;; SQL CRUD (contract-out + ;; SQL CRUD [get-current-user (-> (or/c user? #f))] #; [delete-user! (-> user? void?)])) -- cgit v1.2.3