This commit is contained in:
Simon Cruanes 2024-02-02 23:39:50 -05:00
parent 44c155751c
commit 13d26783c7
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,5 +1,5 @@
open Types_ open Types_
module A = Atomic module A = Atomic_
type 'a key = 'a ls_key type 'a key = 'a ls_key