package org.whole.lang.unifiedlambdadelta.model; /** * @generator Whole */ public interface Sort extends IUnifiedLambdaDeltaEntity, Term { public Level getLevel(); public void setLevel(Level level); }