Project

General

Profile

« Previous | Next » 

Revision 27502d69

Added by LĂ©lio Brun 7 months ago

add memory instances to footprint lemmas

View differences:

src/utils/env.ml
35 35
    x y
36 36

  
37 37
let pp_env pp_fun fmt env =
38
  let lid, lty = list_of_imap env in
39
  let l' = List.combine lid lty in
38
  let l' = IMap.bindings env in
40 39
  let pp_fun fmt (id, value) = Format.fprintf fmt "%s |-> %a" id pp_fun value in
41 40
  Format.fprintf fmt "{ @[<v 2>%a@] }" (fprintf_list ~sep:"@," pp_fun) l'
42 41

  

Also available in: Unified diff