[hcoop/debian/mlton.git] / mlton / defunctorize / defunctorize.sig

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

signature DEFUNCTORIZE_STRUCTS = 
   sig
      structure CoreML: CORE_ML
      structure Xml: XML
      sharing CoreML.Atoms = Xml.Atoms
   end

signature DEFUNCTORIZE = 
   sig
      include DEFUNCTORIZE_STRUCTS

      val defunctorize: CoreML.Program.t -> Xml.Program.t
   end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 2003-2005 Henry Cejtin, Matthew Fluet, Suresh
	2	* Jagannathan, and Stephen Weeks.
	3	*
	4	* MLton is released under a BSD-style license.
	5	* See the file MLton-LICENSE for details.
	6	*)
	7
	8	signature DEFUNCTORIZE_STRUCTS =
	9	sig
	10	structure CoreML: CORE_ML
	11	structure Xml: XML
	12	sharing CoreML.Atoms = Xml.Atoms
	13	end
	14
	15	signature DEFUNCTORIZE =
	16	sig
	17	include DEFUNCTORIZE_STRUCTS
	18
	19	val defunctorize: CoreML.Program.t -> Xml.Program.t
	20	end