Constant Field Values

Contents

convex.core.*

  • convex.core.lang.Juice
    Modifier and Type
    Constant Field
    Value
    public static final long
    200L
    protected static final long
    20L
    public static final long
    50L
    protected static final long
    20L
    public static final long
    150L
    protected static final long
    50L
    protected static final long
    20L
    protected static final long
    50L
    protected static final long
    1L
    protected static final long
    50L
    public static final long
    100L
    public static final long
    10L
    public static final long
    30L
    public static final long
    50L
    public static final long
    200L
    public static final long
    20L
    public static final long
    5L
    public static final long
    45L
    public static final long
    100L
    public static final long
    100L
    public static final long
    1000L
    public static final long
    5L
    public static final long
    5L
    protected static final long
    500L
    public static final long
    40L
    public static final long
    100L
    protected static final long
    30L
    public static final long
    10000L
    protected static final long
    20L
    public static final long
    100L
    public static final long
    30L
    public static final long
    100L
    public static final long
    15L
    public static final long
    40L
    public static final long
    45L
    protected static final long
    100L
    public static final long
    10L
    public static final long
    10L
    public static final long
    1000L
    public static final long
    10L
    public static final long
    30L
    protected static final long
    100L
    public static final long
    20L
    public static final long
    800L
    public static final long
    360000L
    public static final long
    20L
    public static final long
    10L
    public static final long
    20L
    public static final long
    200L
    public static final long
    10L
    protected static final long
    20L
    protected static final long
    20L
    public static final long
    20L
    public static final long
    1000L
    public static final long
    5L
    public static final long
    200L
  • convex.core.lang.Ops
    Modifier and Type
    Constant Field
    Value
    public static final byte
    0x4
    public static final byte
    0x1
    public static final byte
    0x6
    public static final byte
    0x3
    public static final byte
    0x2
    public static final byte
    0x7
    public static final byte
    0x8
    public static final byte
    0xb
    public static final byte
    0x5
    public static final byte
    0xa
    public static final byte
    0x9
    public static final byte
    0xc
    public static final byte
    0x40
  • convex.core.lang.Symbols
    Modifier and Type
    Constant Field
    Value
    public static final char
    '*'
  • convex.core.lang.reader.antlr.ConvexLexer
    Modifier and Type
    Constant Field
    Value
    public static final String
    "\u0004\u0000\u0016\u0131\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011\u0002\u0012\u0007\u0012\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014\u0002\u0015\u0007\u0015\u0002\u0016\u0007\u0016\u0002\u0017\u0007\u0017\u0002\u0018\u0007\u0018\u0002\u0019\u0007\u0019\u0002\u001a\u0007\u001a\u0002\u001b\u0007\u001b\u0002\u001c\u0007\u001c\u0002\u001d\u0007\u001d\u0002\u001e\u0007\u001e\u0002\u001f\u0007\u001f\u0002 \u0007 \u0002!\u0007!\u0002\"\u0007\"\u0002#\u0007#\u0002$\u0007$\u0002%\u0007%\u0002&\u0007&\u0001\u0000\u0001\u0000\u0001\u0001\u0001\u0001\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0003\u0006`\b\u0006\u0001\u0006\u0001\u0006\u0004\u0006d\b\u0006\u000b\u0006\f\u0006e\u0001\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\t\u0001\t\u0001\n\u0001\n\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0003\u000b|\b\u000b\u0001\f\u0001\f\u0003\f\u0080\b\f\u0001\f\u0001\f\u0001\r\u0001\r\u0001\r\u0001\r\u0001\r\u0003\r\u0089\b\r\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000f\u0001\u000f\u0001\u000f\u0003\u000f\u0091\b\u000f\u0001\u0010\u0004\u0010\u0094\b\u0010\u000b\u0010\f\u0010\u0095\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0012\u0005\u0012\u009f\b\u0012\n\u0012\f\u0012\u00a2\t\u0012\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0014\u0001\u0014\u0001\u0015\u0001\u0015\u0005\u0015\u00ab\b\u0015\n\u0015\f\u0015\u00ae\t\u0015\u0001\u0015\u0001\u0015\u0001\u0016\u0001\u0016\u0003\u0016\u00b4\b\u0016\u0001\u0017\u0001\u0017\u0001\u0017\u0001\u0017\u0003\u0017\u00ba\b\u0017\u0001\u0018\u0001\u0018\u0001\u0018\u0001\u0018\u0001\u0018\u0001\u0018\u0001\u0018\u0001\u0018\u0003\u0018\u00c4\b\u0018\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u001a\u0001\u001a\u0001\u001b\u0001\u001b\u0001\u001b\u0003\u001b\u00cf\b\u001b\u0001\u001c\u0004\u001c\u00d2\b\u001c\u000b\u001c\f\u001c\u00d3\u0001\u001c\u0001\u001c\u0001\u001d\u0001\u001d\u0001\u001e\u0001\u001e\u0001\u001e\u0005\u001e\u00dd\b\u001e\n\u001e\f\u001e\u00e0\t\u001e\u0003\u001e\u00e2\b\u001e\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0003\u001f\u00ed\b\u001f\u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0003 \u0116\b \u0001!\u0001!\u0003!\u011a\b!\u0001\"\u0001\"\u0003\"\u011e\b\"\u0001#\u0003#\u0121\b#\u0001$\u0001$\u0001%\u0001%\u0005%\u0127\b%\n%\f%\u012a\t%\u0001&\u0001&\u0003&\u012e\b&\u0001&\u0001&\u0000\u0000\'\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004\t\u0005\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017\f\u0019\r\u001b\u0000\u001d\u0000\u001f\u0000!\u000e#\u000f%\u0010\'\u0000)\u0000+\u0011-\u0000/\u00001\u00003\u00005\u00007\u00129\u0013;\u0014=\u0000?\u0015A\u0000C\u0000E\u0000G\u0000I\u0000K\u0000M\u0016\u0001\u0000\r\u0002\u0000EEee\u0001\u000009\u0003\u000009AFaf\u0004\u0000\n\n\r\r\"\"\\\\\b\u0000\"\"\'\'\\\\bbffnnrrtt\u0001\u000003\u0001\u000007\u0003\u0000\'\'``~~\u0006\u0000!!$&*+-.<?__\u0002\u0000##0:\u0002\u0000AZaz\u0004\u0000\t\n\r\r ,,\u0002\u0000\n\n\r\r\u013d\u0000\u0001\u0001\u0000\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000\u0005\u0001\u0000\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000\t\u0001\u0000\u0000\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r\u0001\u0000\u0000\u0000\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011\u0001\u0000\u0000\u0000\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015\u0001\u0000\u0000\u0000\u0000\u0017\u0001\u0000\u0000\u0000\u0000\u0019\u0001\u0000\u0000\u0000\u0000!\u0001\u0000\u0000\u0000\u0000#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000\u0000\u0000+\u0001\u0000\u0000\u0000\u00007\u0001\u0000\u0000\u0000\u00009\u0001\u0000\u0000\u0000\u0000;\u0001\u0000\u0000\u0000\u0000?\u0001\u0000\u0000\u0000\u0000M\u0001\u0000\u0000\u0000\u0001O\u0001\u0000\u0000\u0000\u0003Q\u0001\u0000\u0000\u0000\u0005S\u0001\u0000\u0000\u0000\u0007U\u0001\u0000\u0000\u0000\tW\u0001\u0000\u0000\u0000\u000bY\u0001\u0000\u0000\u0000\r_\u0001\u0000\u0000\u0000\u000fg\u0001\u0000\u0000\u0000\u0011j\u0001\u0000\u0000\u0000\u0013l\u0001\u0000\u0000\u0000\u0015n\u0001\u0000\u0000\u0000\u0017{\u0001\u0000\u0000\u0000\u0019\u007f\u0001\u0000\u0000\u0000\u001b\u0088\u0001\u0000\u0000\u0000\u001d\u008a\u0001\u0000\u0000\u0000\u001f\u008d\u0001\u0000\u0000\u0000!\u0093\u0001\u0000\u0000\u0000#\u0097\u0001\u0000\u0000\u0000%\u009a\u0001\u0000\u0000\u0000\'\u00a3\u0001\u0000\u0000\u0000)\u00a6\u0001\u0000\u0000\u0000+\u00a8\u0001\u0000\u0000\u0000-\u00b3\u0001\u0000\u0000\u0000/\u00b5\u0001\u0000\u0000\u00001\u00c3\u0001\u0000\u0000\u00003\u00c5\u0001\u0000\u0000\u00005\u00c9\u0001\u0000\u0000\u00007\u00ce\u0001\u0000\u0000\u00009\u00d1\u0001\u0000\u0000\u0000;\u00d7\u0001\u0000\u0000\u0000=\u00e1\u0001\u0000\u0000\u0000?\u00ec\u0001\u0000\u0000\u0000A\u00ee\u0001\u0000\u0000\u0000C\u0119\u0001\u0000\u0000\u0000E\u011d\u0001\u0000\u0000\u0000G\u0120\u0001\u0000\u0000\u0000I\u0122\u0001\u0000\u0000\u0000K\u0124\u0001\u0000\u0000\u0000M\u012d\u0001\u0000\u0000\u0000OP\u0005(\u0000\u0000P\u0002\u0001\u0000\u0000\u0000QR\u0005)\u0000\u0000R\u0004\u0001\u0000\u0000\u0000ST\u0005[\u0000\u0000T\u0006\u0001\u0000\u0000\u0000UV\u0005]\u0000\u0000V\b\u0001\u0000\u0000\u0000WX\u0005{\u0000\u0000X\n\u0001\u0000\u0000\u0000YZ\u0005}\u0000\u0000Z\f\u0001\u0000\u0000\u0000[`\u0003=\u001e\u0000\\]\u0003\u0011\b\u0000]^\u0003!\u0010\u0000^`\u0001\u0000\u0000\u0000_[\u0001\u0000\u0000\u0000_\\\u0001\u0000\u0000\u0000`c\u0001\u0000\u0000\u0000ab\u0005/\u0000\u0000bd\u0003=\u001e\u0000ca\u0001\u0000\u0000\u0000de\u0001\u0000\u0000\u0000ec\u0001\u0000\u0000\u0000ef\u0001\u0000\u0000\u0000f\u000e\u0001\u0000\u0000\u0000gh\u0005#\u0000\u0000hi\u0005_\u0000\u0000i\u0010\u0001\u0000\u0000\u0000jk\u0005#\u0000\u0000k\u0012\u0001\u0000\u0000\u0000lm\u0005^\u0000\u0000m\u0014\u0001\u0000\u0000\u0000no\u0005n\u0000\u0000op\u0005i\u0000\u0000pq\u0005l\u0000\u0000q\u0016\u0001\u0000\u0000\u0000rs\u0005t\u0000\u0000st\u0005r\u0000\u0000tu\u0005u\u0000\u0000u|\u0005e\u0000\u0000vw\u0005f\u0000\u0000wx\u0005a\u0000\u0000xy\u0005l\u0000\u0000yz\u0005s\u0000\u0000z|\u0005e\u0000\u0000{r\u0001\u0000\u0000\u0000{v\u0001\u0000\u0000\u0000|\u0018\u0001\u0000\u0000\u0000}\u0080\u0003!\u0010\u0000~\u0080\u0003#\u0011\u0000\u007f}\u0001\u0000\u0000\u0000\u007f~\u0001\u0000\u0000\u0000\u0080\u0081\u0001\u0000\u0000\u0000\u0081\u0082\u0003\u001b\r\u0000\u0082\u001a\u0001\u0000\u0000\u0000\u0083\u0084\u0003\u001d\u000e\u0000\u0084\u0085\u0003\u001f\u000f\u0000\u0085\u0089\u0001\u0000\u0000\u0000\u0086\u0089\u0003\u001d\u000e\u0000\u0087\u0089\u0003\u001f\u000f\u0000\u0088\u0083\u0001\u0000\u0000\u0000\u0088\u0086\u0001\u0000\u0000\u0000\u0088\u0087\u0001\u0000\u0000\u0000\u0089\u001c\u0001\u0000\u0000\u0000\u008a\u008b\u0005.\u0000\u0000\u008b\u008c\u0003!\u0010\u0000\u008c\u001e\u0001\u0000\u0000\u0000\u008d\u0090\u0007\u0000\u0000\u0000\u008e\u0091\u0003!\u0010\u0000\u008f\u0091\u0003#\u0011\u0000\u0090\u008e\u0001\u0000\u0000\u0000\u0090\u008f\u0001\u0000\u0000\u0000\u0091 \u0001\u0000\u0000\u0000\u0092\u0094\u0007\u0001\u0000\u0000\u0093\u0092\u0001\u0000\u0000\u0000\u0094\u0095\u0001\u0000\u0000\u0000\u0095\u0093\u0001\u0000\u0000\u0000\u0095\u0096\u0001\u0000\u0000\u0000\u0096\"\u0001\u0000\u0000\u0000\u0097\u0098\u0005-\u0000\u0000\u0098\u0099\u0003!\u0010\u0000\u0099$\u0001\u0000\u0000\u0000\u009a\u009b\u00050\u0000\u0000\u009b\u009c\u0005x\u0000\u0000\u009c\u00a0\u0001\u0000\u0000\u0000\u009d\u009f\u0003)\u0014\u0000\u009e\u009d\u0001\u0000\u0000\u0000\u009f\u00a2\u0001\u0000\u0000\u0000\u00a0\u009e\u0001\u0000\u0000\u0000\u00a0\u00a1\u0001\u0000\u0000\u0000\u00a1&\u0001\u0000\u0000\u0000\u00a2\u00a0\u0001\u0000\u0000\u0000\u00a3\u00a4\u0003)\u0014\u0000\u00a4\u00a5\u0003)\u0014\u0000\u00a5(\u0001\u0000\u0000\u0000\u00a6\u00a7\u0007\u0002\u0000\u0000\u00a7*\u0001\u0000\u0000\u0000\u00a8\u00ac\u0005\"\u0000\u0000\u00a9\u00ab\u0003-\u0016\u0000\u00aa\u00a9\u0001\u0000\u0000\u0000\u00ab\u00ae\u0001\u0000\u0000\u0000\u00ac\u00aa\u0001\u0000\u0000\u0000\u00ac\u00ad\u0001\u0000\u0000\u0000\u00ad\u00af\u0001\u0000\u0000\u0000\u00ae\u00ac\u0001\u0000\u0000\u0000\u00af\u00b0\u0005\"\u0000\u0000\u00b0,\u0001\u0000\u0000\u0000\u00b1\u00b4\b\u0003\u0000\u0000\u00b2\u00b4\u0003/\u0017\u0000\u00b3\u00b1\u0001\u0000\u0000\u0000\u00b3\u00b2\u0001\u0000\u0000\u0000\u00b4.\u0001\u0000\u0000\u0000\u00b5\u00b9\u0005\\\u0000\u0000\u00b6\u00ba\u0007\u0004\u0000\u0000\u00b7\u00ba\u00031\u0018\u0000\u00b8\u00ba\u00033\u0019\u0000\u00b9\u00b6\u0001\u0000\u0000\u0000\u00b9\u00b7\u0001\u0000\u0000\u0000\u00b9\u00b8\u0001\u0000\u0000\u0000\u00ba0\u0001\u0000\u0000\u0000\u00bb\u00c4\u00035\u001a\u0000\u00bc\u00bd\u00035\u001a\u0000\u00bd\u00be\u00035\u001a\u0000\u00be\u00c4\u0001\u0000\u0000\u0000\u00bf\u00c0\u0007\u0005\u0000\u0000\u00c0\u00c1\u00035\u001a\u0000\u00c1\u00c2\u00035\u001a\u0000\u00c2\u00c4\u0001\u0000\u0000\u0000\u00c3\u00bb\u0001\u0000\u0000\u0000\u00c3\u00bc\u0001\u0000\u0000\u0000\u00c3\u00bf\u0001\u0000\u0000\u0000\u00c42\u0001\u0000\u0000\u0000\u00c5\u00c6\u0005u\u0000\u0000\u00c6\u00c7\u0003\'\u0013\u0000\u00c7\u00c8\u0003\'\u0013\u0000\u00c84\u0001\u0000\u0000\u0000\u00c9\u00ca\u0007\u0006\u0000\u0000\u00ca6\u0001\u0000\u0000\u0000\u00cb\u00cf\u0007\u0007\u0000\u0000\u00cc\u00cd\u0005~\u0000\u0000\u00cd\u00cf\u0005@\u0000\u0000\u00ce\u00cb\u0001\u0000\u0000\u0000\u00ce\u00cc\u0001\u0000\u0000\u0000\u00cf8\u0001\u0000\u0000\u0000\u00d0\u00d2\u0005:\u0000\u0000\u00d1\u00d0\u0001\u0000\u0000\u0000\u00d2\u00d3\u0001\u0000\u0000\u0000\u00d3\u00d1\u0001\u0000\u0000\u0000\u00d3\u00d4\u0001\u0000\u0000\u0000\u00d4\u00d5\u0001\u0000\u0000\u0000\u00d5\u00d6\u0003=\u001e\u0000\u00d6:\u0001\u0000\u0000\u0000\u00d7\u00d8\u0003=\u001e\u0000\u00d8<\u0001\u0000\u0000\u0000\u00d9\u00e2\u0005/\u0000\u0000\u00da\u00de\u0003C!\u0000\u00db\u00dd\u0003E\"\u0000\u00dc\u00db\u0001\u0000\u0000\u0000\u00dd\u00e0\u0001\u0000\u0000\u0000\u00de\u00dc\u0001\u0000\u0000\u0000\u00de\u00df\u0001\u0000\u0000\u0000\u00df\u00e2\u0001\u0000\u0000\u0000\u00e0\u00de\u0001\u0000\u0000\u0000\u00e1\u00d9\u0001\u0000\u0000\u0000\u00e1\u00da\u0001\u0000\u0000\u0000\u00e2>\u0001\u0000\u0000\u0000\u00e3\u00e4\u0005\\\u0000\u0000\u00e4\u00e5\u0005u\u0000\u0000\u00e5\u00e6\u0001\u0000\u0000\u0000\u00e6\u00e7\u0003\'\u0013\u0000\u00e7\u00e8\u0003\'\u0013\u0000\u00e8\u00ed\u0001\u0000\u0000\u0000\u00e9\u00ea\u0005\\\u0000\u0000\u00ea\u00ed\t\u0000\u0000\u0000\u00eb\u00ed\u0003A \u0000\u00ec\u00e3\u0001\u0000\u0000\u0000\u00ec\u00e9\u0001\u0000\u0000\u0000\u00ec\u00eb\u0001\u0000\u0000\u0000\u00ed@\u0001\u0000\u0000\u0000\u00ee\u0115\u0005\\\u0000\u0000\u00ef\u00f0\u0005n\u0000\u0000\u00f0\u00f1\u0005e\u0000\u0000\u00f1\u00f2\u0005w\u0000\u0000\u00f2\u00f3\u0005l\u0000\u0000\u00f3\u00f4\u0005i\u0000\u0000\u00f4\u00f5\u0005n\u0000\u0000\u00f5\u0116\u0005e\u0000\u0000\u00f6\u00f7\u0005r\u0000\u0000\u00f7\u00f8\u0005e\u0000\u0000\u00f8\u00f9\u0005t\u0000\u0000\u00f9\u00fa\u0005u\u0000\u0000\u00fa\u00fb\u0005r\u0000\u0000\u00fb\u0116\u0005n\u0000\u0000\u00fc\u00fd\u0005s\u0000\u0000\u00fd\u00fe\u0005p\u0000\u0000\u00fe\u00ff\u0005a\u0000\u0000\u00ff\u0100\u0005c\u0000\u0000\u0100\u0116\u0005e\u0000\u0000\u0101\u0102\u0005t\u0000\u0000\u0102\u0103\u0005a\u0000\u0000\u0103\u0116\u0005b\u0000\u0000\u0104\u0105\u0005f\u0000\u0000\u0105\u0106\u0005o\u0000\u0000\u0106\u0107\u0005r\u0000\u0000\u0107\u0108\u0005m\u0000\u0000\u0108\u0109\u0005f\u0000\u0000\u0109\u010a\u0005e\u0000\u0000\u010a\u010b\u0005e\u0000\u0000\u010b\u0116\u0005d\u0000\u0000\u010c\u010d\u0005b\u0000\u0000\u010d\u010e\u0005a\u0000\u0000\u010e\u010f\u0005c\u0000\u0000\u010f\u0110\u0005k\u0000\u0000\u0110\u0111\u0005s\u0000\u0000\u0111\u0112\u0005p\u0000\u0000\u0112\u0113\u0005a\u0000\u0000\u0113\u0114\u0005c\u0000\u0000\u0114\u0116\u0005e\u0000\u0000\u0115\u00ef\u0001\u0000\u0000\u0000\u0115\u00f6\u0001\u0000\u0000\u0000\u0115\u00fc\u0001\u0000\u0000\u0000\u0115\u0101\u0001\u0000\u0000\u0000\u0115\u0104\u0001\u0000\u0000\u0000\u0115\u010c\u0001\u0000\u0000\u0000\u0116B\u0001\u0000\u0000\u0000\u0117\u011a\u0003G#\u0000\u0118\u011a\u0007\b\u0000\u0000\u0119\u0117\u0001\u0000\u0000\u0000\u0119\u0118\u0001\u0000\u0000\u0000\u011aD\u0001\u0000\u0000\u0000\u011b\u011e\u0003C!\u0000\u011c\u011e\u0007\t\u0000\u0000\u011d\u011b\u0001\u0000\u0000\u0000\u011d\u011c\u0001\u0000\u0000\u0000\u011eF\u0001\u0000\u0000\u0000\u011f\u0121\u0007\n\u0000\u0000\u0120\u011f\u0001\u0000\u0000\u0000\u0121H\u0001\u0000\u0000\u0000\u0122\u0123\u0007\u000b\u0000\u0000\u0123J\u0001\u0000\u0000\u0000\u0124\u0128\u0005;\u0000\u0000\u0125\u0127\b\f\u0000\u0000\u0126\u0125\u0001\u0000\u0000\u0000\u0127\u012a\u0001\u0000\u0000\u0000\u0128\u0126\u0001\u0000\u0000\u0000\u0128\u0129\u0001\u0000\u0000\u0000\u0129L\u0001\u0000\u0000\u0000\u012a\u0128\u0001\u0000\u0000\u0000\u012b\u012e\u0003I$\u0000\u012c\u012e\u0003K%\u0000\u012d\u012b\u0001\u0000\u0000\u0000\u012d\u012c\u0001\u0000\u0000\u0000\u012e\u012f\u0001\u0000\u0000\u0000\u012f\u0130\u0006&\u0000\u0000\u0130N\u0001\u0000\u0000\u0000\u0018\u0000_e{\u007f\u0088\u0090\u0095\u00a0\u00ac\u00b3\u00b9\u00c3\u00ce\u00d3\u00de\u00e1\u00ec\u0115\u0119\u011d\u0120\u0128\u012d\u0001\u0000\u0001\u0000"
    public static final int
    16
    public static final int
    12
    public static final int
    21
    public static final int
    8
    public static final int
    14
    public static final int
    13
    public static final int
    9
    public static final int
    19
    public static final int
    10
    public static final int
    11
    public static final int
    18
    public static final int
    15
    public static final int
    17
    public static final int
    20
    public static final int
    7
    public static final int
    1
    public static final int
    2
    public static final int
    3
    public static final int
    4
    public static final int
    5
    public static final int
    6
    public static final int
    22
  • convex.core.lang.reader.antlr.ConvexParser
    Modifier and Type
    Constant Field
    Value
    public static final String
    "\u0004\u0001\u0016\u008c\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011\u0002\u0012\u0007\u0012\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014\u0002\u0015\u0007\u0015\u0002\u0016\u0007\u0016\u0002\u0017\u0007\u0017\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0003\u00007\b\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0002\u0001\u0002\u0005\u0002>\b\u0002\n\u0002\f\u0002A\t\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0003\u0003G\b\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0003\be\b\b\u0001\t\u0001\t\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\f\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0012\u0001\u0012\u0001\u0013\u0001\u0013\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0015\u0001\u0015\u0001\u0015\u0001\u0016\u0001\u0016\u0001\u0017\u0001\u0017\u0001\u0017\u0001\u0017\u0000\u0000\u0018\u0000\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \"$&(*,.\u0000\u0001\u0001\u0000\u000e\u000f\u0087\u00006\u0001\u0000\u0000\u0000\u00028\u0001\u0000\u0000\u0000\u0004?\u0001\u0000\u0000\u0000\u0006F\u0001\u0000\u0000\u0000\bH\u0001\u0000\u0000\u0000\nL\u0001\u0000\u0000\u0000\fP\u0001\u0000\u0000\u0000\u000eU\u0001\u0000\u0000\u0000\u0010d\u0001\u0000\u0000\u0000\u0012f\u0001\u0000\u0000\u0000\u0014h\u0001\u0000\u0000\u0000\u0016j\u0001\u0000\u0000\u0000\u0018n\u0001\u0000\u0000\u0000\u001aq\u0001\u0000\u0000\u0000\u001cs\u0001\u0000\u0000\u0000\u001eu\u0001\u0000\u0000\u0000 w\u0001\u0000\u0000\u0000\"y\u0001\u0000\u0000\u0000${\u0001\u0000\u0000\u0000&}\u0001\u0000\u0000\u0000(\u007f\u0001\u0000\u0000\u0000*\u0083\u0001\u0000\u0000\u0000,\u0086\u0001\u0000\u0000\u0000.\u0088\u0001\u0000\u0000\u000007\u0003\u0010\b\u000017\u0003$\u0012\u000027\u0003&\u0013\u000037\u0003\u0006\u0003\u000047\u0003(\u0014\u000057\u0003*\u0015\u000060\u0001\u0000\u0000\u000061\u0001\u0000\u0000\u000062\u0001\u0000\u0000\u000063\u0001\u0000\u0000\u000064\u0001\u0000\u0000\u000065\u0001\u0000\u0000\u00007\u0001\u0001\u0000\u0000\u000089\u0003\u0000\u0000\u00009:\u0005\u0000\u0000\u0001:\u0003\u0001\u0000\u0000\u0000;>\u0003\u0000\u0000\u0000<>\u0003.\u0017\u0000=;\u0001\u0000\u0000\u0000=<\u0001\u0000\u0000\u0000>A\u0001\u0000\u0000\u0000?=\u0001\u0000\u0000\u0000?@\u0001\u0000\u0000\u0000@\u0005\u0001\u0000\u0000\u0000A?\u0001\u0000\u0000\u0000BG\u0003\b\u0004\u0000CG\u0003\n\u0005\u0000DG\u0003\f\u0006\u0000EG\u0003\u000e\u0007\u0000FB\u0001\u0000\u0000\u0000FC\u0001\u0000\u0000\u0000FD\u0001\u0000\u0000\u0000FE\u0001\u0000\u0000\u0000G\u0007\u0001\u0000\u0000\u0000HI\u0005\u0001\u0000\u0000IJ\u0003\u0004\u0002\u0000JK\u0005\u0002\u0000\u0000K\t\u0001\u0000\u0000\u0000LM\u0005\u0003\u0000\u0000MN\u0003\u0004\u0002\u0000NO\u0005\u0004\u0000\u0000O\u000b\u0001\u0000\u0000\u0000PQ\u0005\t\u0000\u0000QR\u0005\u0005\u0000\u0000RS\u0003\u0004\u0002\u0000ST\u0005\u0006\u0000\u0000T\r\u0001\u0000\u0000\u0000UV\u0005\u0005\u0000\u0000VW\u0003\u0004\u0002\u0000WX\u0005\u0006\u0000\u0000X\u000f\u0001\u0000\u0000\u0000Ye\u0003\u001a\r\u0000Ze\u0003\u001e\u000f\u0000[e\u0003\u001c\u000e\u0000\\e\u0003 \u0010\u0000]e\u0003\"\u0011\u0000^e\u0003$\u0012\u0000_e\u0003\u0018\f\u0000`e\u0003,\u0016\u0000ae\u0003\u0012\t\u0000be\u0003\u0014\n\u0000ce\u0003\u0016\u000b\u0000dY\u0001\u0000\u0000\u0000dZ\u0001\u0000\u0000\u0000d[\u0001\u0000\u0000\u0000d\\\u0001\u0000\u0000\u0000d]\u0001\u0000\u0000\u0000d^\u0001\u0000\u0000\u0000d_\u0001\u0000\u0000\u0000d`\u0001\u0000\u0000\u0000da\u0001\u0000\u0000\u0000db\u0001\u0000\u0000\u0000dc\u0001\u0000\u0000\u0000e\u0011\u0001\u0000\u0000\u0000fg\u0007\u0000\u0000\u0000g\u0013\u0001\u0000\u0000\u0000hi\u0005\r\u0000\u0000i\u0015\u0001\u0000\u0000\u0000jk\u0005\t\u0000\u0000kl\u0005\t\u0000\u0000lm\u0003$\u0012\u0000m\u0017\u0001\u0000\u0000\u0000no\u0005\t\u0000\u0000op\u0005\u000e\u0000\u0000p\u0019\u0001\u0000\u0000\u0000qr\u0005\u000b\u0000\u0000r\u001b\u0001\u0000\u0000\u0000st\u0005\u0010\u0000\u0000t\u001d\u0001\u0000\u0000\u0000uv\u0005\f\u0000\u0000v\u001f\u0001\u0000\u0000\u0000wx\u0005\u0015\u0000\u0000x!\u0001\u0000\u0000\u0000yz\u0005\u0013\u0000\u0000z#\u0001\u0000\u0000\u0000{|\u0005\u0014\u0000\u0000|%\u0001\u0000\u0000\u0000}~\u0005\u0007\u0000\u0000~\'\u0001\u0000\u0000\u0000\u007f\u0080\u0005\n\u0000\u0000\u0080\u0081\u0003\u0000\u0000\u0000\u0081\u0082\u0003\u0000\u0000\u0000\u0082)\u0001\u0000\u0000\u0000\u0083\u0084\u0005\u0012\u0000\u0000\u0084\u0085\u0003\u0000\u0000\u0000\u0085+\u0001\u0000\u0000\u0000\u0086\u0087\u0005\u0011\u0000\u0000\u0087-\u0001\u0000\u0000\u0000\u0088\u0089\u0005\b\u0000\u0000\u0089\u008a\u0003\u0000\u0000\u0000\u008a/\u0001\u0000\u0000\u0000\u00056=?Fd"
    public static final int
    16
    public static final int
    12
    public static final int
    21
    public static final int
    8
    public static final int
    14
    public static final int
    13
    public static final int
    9
    public static final int
    19
    public static final int
    10
    public static final int
    11
    public static final int
    18
    public static final int
    12
    public static final int
    14
    public static final int
    15
    public static final int
    16
    public static final int
    23
    public static final int
    3
    public static final int
    10
    public static final int
    0
    public static final int
    2
    public static final int
    17
    public static final int
    4
    public static final int
    8
    public static final int
    9
    public static final int
    7
    public static final int
    13
    public static final int
    19
    public static final int
    21
    public static final int
    6
    public static final int
    1
    public static final int
    11
    public static final int
    22
    public static final int
    18
    public static final int
    20
    public static final int
    5
    public static final int
    15
    public static final int
    17
    public static final int
    20
    public static final int
    7
    public static final int
    1
    public static final int
    2
    public static final int
    3
    public static final int
    4
    public static final int
    5
    public static final int
    6
    public static final int
    22
  • convex.core.transactions.Multi
    Modifier and Type
    Constant Field
    Value
    public static final int
    1
    public static final int
    0
    public static final int
    2
    public static final int
    3
  • convex.core.transactions.Transfer
    Modifier and Type
    Constant Field
    Value
    public static final long
    200L
  • convex.core.util.Shutdown
    Modifier and Type
    Constant Field
    Value
    public static final int
    120
    public static final int
    60
    public static final int
    100
    public static final int
    110
    public static final int
    80

etch.*