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 : int
   7
   8   val make :
   9     name:Tiger_temp.Label.t -> formals:bool list -> t
  10
  11   val name :
  12     t -> Tiger_temp.Label.t
  13
  14   val formals :
  15     t -> access list
  16
  17   val alloc_local :
  18     t -> escapes:bool -> access
  19 end