Up – Index » gillian » Gillian » Debugger » Lifter » Gil_fallback_lifter » Make » TLLifter » Gil

Parameter `TLLifter.Gil`

module Lifter : Gil_lifter.S

val get_state : unit -> Lifter.t