package org.whole.lang.unifiedlambdadelta.model; /** * @generator Whole */ public interface Abstraction extends IUnifiedLambdaDeltaEntity, BinaryTermBinder { }