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

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
Commit	Line	Data
cc540a7e SK	1	module type S = sig
	2	type t
	3
	4	type access
	5
3b1bffdb SK	6	val word_size :
	7	int
	8
	9	val pointer :
	10	Tiger_temp.Temp.t
68e4b4a9	11
cc540a7e SK	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
3b1bffdb SK	23
	24	val exp :
	25	access:access -> pointer:Tiger_tree.exp -> Tiger_tree.exp
cc540a7e	26	end