Import Upstream version 20180207
[hcoop/debian/mlton.git] / lib / mlton / basic / computation.sig
CommitLineData
7f918cf1
CE
1(* Copyright (C) 1999-2006 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
8signature COMPUTATION =
9 sig
10 structure Time: TIME
11
12 type t
13
14 val keepAll: t * (string -> bool) -> t
15 val inspect: t -> unit
16 val output: t * Out.t -> unit
17 val outputCalls: t * Out.t -> unit
18 val outputTimes: t * Out.t -> unit
19 val time: t -> Time.t
20 end