[hcoop/debian/mlton.git] / mlton / control / wrapped.sig

(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 * Copyright (C) 1997-2000 NEC Research Institute.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

signature WRAPPED =
   sig
      type node'
      type obj

      val dest: obj -> node' * Region.t
      val makeRegion': node' * SourcePos.t * SourcePos.t -> obj
      val makeRegion: node' * Region.t -> obj
      val node: obj -> node'
      val region: obj -> Region.t
   end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
	2	* Jagannathan, and Stephen Weeks.
	3	* Copyright (C) 1997-2000 NEC Research Institute.
	4	*
	5	* MLton is released under a BSD-style license.
	6	* See the file MLton-LICENSE for details.
	7	*)
	8
	9	signature WRAPPED =
	10	sig
	11	type node'
	12	type obj
	13
	14	val dest: obj -> node' * Region.t
	15	val makeRegion': node' * SourcePos.t * SourcePos.t -> obj
	16	val makeRegion: node' * Region.t -> obj
	17	val node: obj -> node'
	18	val region: obj -> Region.t
	19	end