test/functor/A-sig.ss
#lang planet chongkai/sml

signature A = sig type t val a : t end