Exec (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Pretyping.Env.Exec)

val push : 
  Location.t ->
  Prog.funname ->
  (Z.t * Z.t) list ->
  'asm env ->
  'asm env

Sourceval get : 'asm env -> (Prog.funname * (Z.t * Z.t) list) Location.located list