mlton/ssa/profile2.sig

   1 (* Copyright (C) 1999-2007 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
   9 signature PROFILE2_STRUCTS =
  10    sig
  11       include SHRINK2
  12    end
  13
  14 signature PROFILE2 =
  15    sig
  16       include PROFILE2_STRUCTS
  17
  18       val addProfile: Program.t -> Program.t
  19       val dropProfile: Program.t -> Program.t
  20    end