1-Inputs.Stack_frame
include Iffable with type bool := Bool.t
type t
val if_ : Bool.t -> then_:t -> else_:t -> t
val caller : t -> Token_id.t
val caller_caller : t -> Token_id.t
val calls : t -> Call_forest.t
val make : caller:Token_id.t -> caller_caller:Token_id.t -> calls:Call_forest.t -> t