mlton/elaborate/elaborate-sigexp.sig

   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.
   5  *
   6  * MLton is released under a BSD-style license.
   7  * See the file MLton-LICENSE for details.
   8  *)
   9
  10 signature ELABORATE_SIGEXP_STRUCTS =
  11    sig
  12       structure Ast: AST
  13       structure Env: ELABORATE_ENV
  14       sharing Ast = Env.Ast
  15    end
  16
  17 signature ELABORATE_SIGEXP =
  18    sig
  19       include ELABORATE_SIGEXP_STRUCTS
  20
  21       val elaborateSigexp:
  22          Ast.Sigexp.t * {env: Env.t, nest: string list}
  23          -> Env.Interface.t option
  24    end