compiler/src/lib/tiger/tiger_frame_sig.ml

   1 module type S = sig
   2   type t
   3
   4   type access
   5
   6   val word_size :
   7     int
   8
   9   val pointer :
  10     Tiger_temp.Temp.t
  11
  12   val make :
  13     name:Tiger_temp.Label.t -> formals:bool list -> t
  14
  15   val name :
  16     t -> Tiger_temp.Label.t
  17
  18   val formals :
  19     t -> access list
  20
  21   val alloc_local :
  22     t -> escapes:bool -> access
  23
  24   val exp :
  25     access:access -> pointer:Tiger_tree.exp -> Tiger_tree.exp
  26 end