1 (* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
3 * Copyright (C) 1997-2000 NEC Research Institute.
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
9 signature TYPE_OPS_STRUCTS =
11 structure Tycon: TYCON
15 val con: Tycon.t * t vector -> t
16 val deConOpt: t -> (Tycon.t * t vector) option
17 val layout: t -> Layout.t
22 (* Don't want to include TYPE_OPS_STRUCTS because don't want to propagate
23 * the Tycon structure, which will cause duplicate specifications later
34 val con: tycon * t vector -> t
37 val deArrow: t -> t * t
38 val deArrowOpt: t -> (t * t) option
39 val deConOpt: t -> (tycon * t vector) option
41 val deTuple: t -> t vector
42 val deTupleOpt: t -> t vector option
47 val isTuple: t -> bool
49 val real: realSize -> t
52 val tuple: t vector -> t
57 val word: wordSize -> t