[hcoop/debian/mlton.git] / mlton / xml / simplify-types.sig

(* Copyright (C) 2009 Matthew Fluet.
 * Copyright (C) 1999-2006 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 SIMPLIFY_TYPES_STRUCTS = 
   sig
      structure Input: XML_TREE
      structure Output: XML_TREE
      sharing Input.Atoms = Output.Atoms
   end

signature SIMPLIFY_TYPES = 
   sig
      include SIMPLIFY_TYPES_STRUCTS

      val simplifyTypes: Input.Program.t -> Output.Program.t
   end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 2009 Matthew Fluet.
	2	* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
	3	* Jagannathan, and Stephen Weeks.
	4	* Copyright (C) 1997-2000 NEC Research Institute.
	5	*
	6	* MLton is released under a BSD-style license.
	7	* See the file MLton-LICENSE for details.
	8	*)
	9
	10	signature SIMPLIFY_TYPES_STRUCTS =
	11	sig
	12	structure Input: XML_TREE
	13	structure Output: XML_TREE
	14	sharing Input.Atoms = Output.Atoms
	15	end
	16
	17	signature SIMPLIFY_TYPES =
	18	sig
	19	include SIMPLIFY_TYPES_STRUCTS
	20
	21	val simplifyTypes: Input.Program.t -> Output.Program.t
	22	end