diff options
| author | Adelyn Breedlove <[email protected]> | 2019-01-28 10:31:51 -0700 |
|---|---|---|
| committer | Adelyn Breedlove <[email protected]> | 2019-01-28 10:31:51 -0700 |
| commit | 8662e92987c437f59d09896a247ec2b5d82c4528 (patch) | |
| tree | f004cc14598351d4ad6b19d8e993d2f629c5e738 /lib/models/id/user_id.mli | |
| parent | Add more docs (diff) | |
| download | disml-8662e92987c437f59d09896a247ec2b5d82c4528.tar.xz disml-8662e92987c437f59d09896a247ec2b5d82c4528.zip | |
Publish docs updates
Diffstat (limited to 'lib/models/id/user_id.mli')
| -rw-r--r-- | lib/models/id/user_id.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/models/id/user_id.mli b/lib/models/id/user_id.mli index d7da91e..574c4f0 100644 --- a/lib/models/id/user_id.mli +++ b/lib/models/id/user_id.mli @@ -1,3 +1,3 @@ -include module type of User_id_t -include S.UserImpl with +include module type of User_id_t
+include S.UserImpl with
type t := User_id_t.t
\ No newline at end of file |