PLaneT Package Repository : Home > chongkai > sml.plt

test/functor/G-functor.ss

#lang planet chongkai/sml

functor G(A : A) =
  struct type t = A.t val b = A.a end