001package org.clafer.ast;
002
003/**
004 * The primitive integer Clafer.
005 *
006 * @author jimmy
007 */
008public class AstIntClafer extends AstPrimClafer {
009
010    public static final AstIntClafer Singleton = new AstIntClafer();
011
012    private AstIntClafer() {
013        super("int");
014    }
015}