Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / mlton / atoms / profile-label.sig
1 (* Copyright (C) 2004-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 signature PROFILE_LABEL_STRUCTS =
9 sig
10 end
11
12 signature PROFILE_LABEL =
13 sig
14 type t
15
16 val clear: t -> unit
17 val layout: t -> Layout.t
18 val new: unit -> t
19 val plist: t -> PropertyList.t
20 val toString: t -> string
21 end