mlton/ast/ast-id.sig

   1 (* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  * Copyright (C) 1997-2000 NEC Research Institute.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 signature AST_ID_STRUCTS =
  10    sig
  11       structure Symbol: SYMBOL
  12    end
  13
  14 signature AST_ID =
  15    sig
  16       include AST_ID_STRUCTS
  17       include WRAPPED
  18
  19       type t
  20       sharing type obj = t
  21
  22       val bogus: t
  23       val compare: t * t -> Relation.t
  24       val equals: t * t -> bool
  25       val fromSymbol: Symbol.t * Region.t -> t
  26       val isSymbolic: t -> bool
  27       val layout: t -> Layout.t
  28       val toString: t -> string
  29       val toSymbol: t -> Symbol.t
  30    end