1signature stack_analysisLib =
2sig
3
4  val get_pc_pat : unit -> Term.term
5  val find_stack_accesses :
6     string ->
7       (int * (Thm.thm * int * int option) *
8              (Thm.thm * int * int option) option) list -> int list
9
10end
11