mlton/atoms/tyvar.fun

   1 (* Copyright (C) 2012,2017 Matthew Fluet.
   2  * Copyright (C) 1999-2007 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 functor Tyvar (S: TYVAR_STRUCTS): TYVAR =
  11 struct
  12
  13 open S
  14
  15 structure V = Id (val noname = "'a")
  16 open V
  17
  18 end