This commit is contained in:
Simon Cruanes 2023-06-20 10:31:36 -04:00
parent 7507d6e297
commit 77e763b336
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -13,9 +13,9 @@ let push self l =
self.len <- self.len + List.length l self.len <- self.len + List.length l
) )
let len self = self.len let[@inline] len self = self.len
let time_started self = self.started let[@inline] time_started self = self.started
let pop_all self = let pop_all self =
let l = self.l in let l = self.l in