gillian » Gillian » Debugger » Lifter » Gil_fallback_lifter » Make » TLLifter » Gil

Parameter TLLifter.Gil

module Lifter : Gil_lifter.S with type memory = SMemory.t

val get_state : unit -> Lifter.t