Up
–
gillian
»
Debugger_lifter
»
Gil_fallback_lifter
»
Make
»
TLLifter
» Gil
Parameter
TLLifter.Gil
module
Lifter
:
Gil_lifter.S
val
get_state :
unit
->
Lifter.t