blob: 9cf2ec410ac3a15d8d0b97e01a75910d4414bcf2 (
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-10T15:07:11.972496000000Z
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; }
}
}
|