blob: a134fdb71fc9f7559387806fe4dd289fefb01a88 (
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-03-21T11:41:52.460562000000Z
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; }
}
}
|