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