summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-27 23:06:35 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-30 01:15:03 +0100
commit1702e79c17b4fa05159afd503f3dcd631c1a86d0 (patch)
tree7f7a1e962c6ad7ec7e19b5c9d4e91267f9411991 /sid.mli
parent8d1269767de9268db630187fc9da9b58c49a0745 (diff)
downloadocaml-sid-1702e79c17b4fa05159afd503f3dcd631c1a86d0.tar.gz
add readme and license text
Diffstat (limited to 'sid.mli')
-rw-r--r--sid.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/sid.mli b/sid.mli
index f7fcbec..23c4a71 100644
--- a/sid.mli
+++ b/sid.mli
@@ -1,3 +1,5 @@
+(* SPDX-License-Identifier: LGPL-3.0-only *)
+
type t
type sub_auths = Stdint.Uint32.t array
val create_unsafe : Stdint.Uint32.t array -> Stdint.Uint64.t -> t