hydra.coreLanguage.CoreLanguage Maven / Gradle / Ivy

Go to download
package hydra.coreLanguage;

public interface CoreLanguage {
  static  hydra.coders.Language hydraCoreLanguage() {
    return new hydra.coders.Language(new hydra.coders.LanguageName("hydra/core"), new hydra.coders.LanguageConstraints(hydra.lib.sets.FromList.apply((hydra.basics.Basics.eliminationVariants)), hydra.lib.sets.FromList.apply((hydra.basics.Basics.literalVariants)), hydra.lib.sets.FromList.apply((hydra.basics.Basics.floatTypes)), hydra.lib.sets.FromList.apply((hydra.basics.Basics.functionVariants)), hydra.lib.sets.FromList.apply((hydra.basics.Basics.integerTypes)), hydra.lib.sets.FromList.apply((hydra.basics.Basics.termVariants)), hydra.lib.sets.FromList.apply((hydra.basics.Basics.typeVariants)), (java.util.function.Function, Boolean>) (ignored -> true)));
  }
}