Gillian.Debugger
Modules for the debugger and related TL-lifting
module Logging : sig ... end
Functions for sending log messages to the debugger frontend
module Utils : sig ... end
Miscellaneous types and functions for debugger-related purposes
module Lifter : sig ... end
Interface for lifting execution of GIL commands to a target language