test/functor/G-functor.ss
#lang planet chongkai/sml

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