General.Call_stack
Implementation of GIL call stacks
module type S = Gillian.General.Call_stack.S
module Make = Engine.Call_stack.Make