basis-library/mlton/profile.sig

   1 (* Copyright (C) 2002-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 MLTON_PROFILE =
   9    sig
  10       structure Data:
  11          sig
  12             type t
  13
  14             val equals: t * t -> bool
  15             val free: t -> unit
  16             val malloc: unit -> t
  17             val write: t * string -> unit
  18          end
  19
  20       val isOn: bool (* a compile-time constant *)
  21       val withData: Data.t * (unit -> 'a) -> 'a
  22    end