adamc@62: signature S = sig
adamc@62:         type t
adamc@62:         type t
adamc@62: end