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

View file

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