Import Upstream version 20180207

[hcoop/debian/mlton.git] / mlton / ast / ast-const.sig

(* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 * Copyright (C) 1997-2000 NEC Research Institute.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

signature AST_CONST_STRUCTS =
   sig
   end

signature AST_CONST =
   sig
      include AST_CONST_STRUCTS

      type t
      datatype node =
         Bool of bool
       | Char of IntInf.t
       | Int of IntInf.t
       | Real of string
       | String of IntInf.t vector
       | Word of IntInf.t
      include WRAPPED sharing type node' = node
                      sharing type obj = t

      val layout: t -> Layout.t
      val ordToString: IntInf.t -> string
   end