Module 1-Inputs.Call_stack

include Stack_intf with type elt := Stack_frame.t with type bool := Bool.t with module Opt := Opt
include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
val empty : unit -> t
val is_empty : t -> Bool.t
val pop_exn : t -> Stack_frame.t * t
val pop : t -> (Stack_frame.t * t) Opt.t
val push : Stack_frame.t -> onto:t -> t