1 (* Copyright (C) 2017 Matthew Fluet.
2 * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
4 * Copyright (C) 1997-2000 NEC Research Institute.
6 * MLton is released under a BSD-style license.
7 * See the file MLton-LICENSE for details.
10 signature ELABORATE_MLBS_STRUCTS =
13 structure CoreML: CORE_ML
15 structure Env: ELABORATE_ENV
17 sharing CoreML = Decs.CoreML = Env.CoreML
18 sharing Decs = Env.Decs
21 signature ELABORATE_MLBS =
23 include ELABORATE_MLBS_STRUCTS
26 Ast.Basdec.t * {addPrim: Env.t -> CoreML.Dec.t list}
27 -> Env.t * (CoreML.Dec.t list * bool) vector