adamc@54: sig
adamc@54: type t = int
adamc@54: type q = int
adamc@54: type u = inot