blob: 92f42e8161a87bbadb981fb5cdff7f4706480347 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// generated file, do not modify!
// 2016-11-11T11:17:03.605012000000Z
package LambdaCube.TypeInfo;
import java.util.ArrayList;
import java.util.HashMap;
import RT.*;
import LambdaCube.IR.*;
public class TypeInfo {
public enum Tag {
TypeInfo
}
public Tag tag;
public class TypeInfo_ extends TypeInfo {
public Range range;
public String text;
public TypeInfo_() { tag = TypeInfo.Tag.TypeInfo; }
}
}
|