compiler/src/lib/tiger/tiger_frame_sig.ml

   1 module type S = sig
   2   type t
   3
   4   type access
   5
   6   val make :
   7     name:Tiger_temp.Label.t -> formals:bool list -> t
   8
   9   val name :
  10     t -> Tiger_temp.Label.t
  11
  12   val formals :
  13     t -> access list
  14
  15   val alloc_local :
  16     t -> escapes:bool -> access
  17 end