Usage_logs
module Diff : sig ... end
val small_loc_to_yojson : small_loc -> Yojson.Safe.t
val small_loc_of_yojson :
Yojson.Safe.t ->
small_loc Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> small_loc Ppx_deriving_yojson_runtime.error_or
val shrink_loc : Gillian.Utils.Location.t -> small_loc
module Event : sig ... end
module Debug : sig ... end
module Lsp : sig ... end