[tiger.ml.git] / compiler / src / lib / tiger / tiger_frame_sig.ml

module type S = sig
  type t

  type access

  val word_size : int

  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
end
Commit	Line	Data
cc540a7e SK	1	module type S = sig
	2	type t
	3
	4	type access
	5
68e4b4a9 SK	6	val word_size : int
68e4b4a9 SK	7
cc540a7e SK	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