module type S = sig
  type t

  type access

  val word_size :
    int

  val pointer :
    Tiger_temp.Temp.t

  val make :
    name:Tiger_temp.Label.t -> formals:bool list -> t

  val name :
    t -> Tiger_temp.Label.t

  val formals :
    t -> access list

  val alloc_local :
    t -> escapes:bool -> access

  val exp :
    access:access -> pointer:Tiger_tree.exp -> Tiger_tree.exp
end