mlton/xml/simplify-types.sig

   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