• Home
• info.hupel
• libisabelle_2.11
• 0.3.4
• source code
• Codecs.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

edu.tum.cs.isabelle.japi.Codecs Maven / Gradle / Ivy

package edu.tum.cs.isabelle.japi;

import scala.math.BigInt;

import edu.tum.cs.isabelle.*;
import edu.tum.cs.isabelle.api.*;

public class Codecs {

  private Codecs() {}


  public static final Codec TREE =
    Codec$.MODULE$.tree();

  public static final Codec STRING =
    Codec$.MODULE$.string();

  public static final Codec BIGINT =
    Codec$.MODULE$.integer();

}