/* abstract syntax for types */

public class stringtype implements ctype  /* primitive type */
{
}