1 (* Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
8 signature OBJECT_TYPE =
10 structure ObjptrTycon: OBJPTR_TYCON
11 structure Runtime: RUNTIME
17 | Normal of {hasIdentity: bool,
20 | Weak of ty option (* in Weak (SOME t), must have Type.isPointer t *)
22 val basic: unit -> (ObjptrTycon.t * t) vector
24 val layout: t -> Layout.t
25 val toRuntime: t -> Runtime.RObjectType.t