diff options
| author | Adelyn Breedlove <[email protected]> | 2018-12-17 06:46:25 -0700 |
|---|---|---|
| committer | Adelyn Breedlove <[email protected]> | 2018-12-17 06:46:25 -0700 |
| commit | d5ab5fb9e07d820de66fd987f7d2f793dd130e49 (patch) | |
| tree | 417652ace1baba191dfd75cb512a4d754256ede2 /lib/models.mli | |
| parent | Merging (diff) | |
| download | disml-d5ab5fb9e07d820de66fd987f7d2f793dd130e49.tar.xz disml-d5ab5fb9e07d820de66fd987f7d2f793dd130e49.zip | |
Add a few sigs
Diffstat (limited to 'lib/models.mli')
| -rw-r--r-- | lib/models.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/models.mli b/lib/models.mli new file mode 100644 index 0000000..01a8893 --- /dev/null +++ b/lib/models.mli @@ -0,0 +1 @@ +module Make(H : S.Http) : S.Models
\ No newline at end of file |