summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index a38a1b0d..688326e4 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -113,6 +113,10 @@ datatype decl' =
withtype decl = decl' located
-type file = decl list * (Core.export_kind * string * int * typ list * typ) list
+datatype sidedness =
+ ServerOnly
+ | ServerAndClient
+
+type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list
end