mlton/xml/sxml-simplify.sig

   1 (* Copyright (C) 1999-2006 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 SXML_SIMPLIFY_STRUCTS =
  10    sig
  11       include SXML_TREE
  12       val shrink: Program.t -> Program.t
  13       val typeCheck: Program.t -> unit
  14    end
  15
  16 signature SXML_SIMPLIFY =
  17    sig
  18       include SXML_SIMPLIFY_STRUCTS
  19
  20       val simplify: Program.t -> Program.t
  21    end