@distrohelena/canton-typescript-sdk 0.1.0

package/dist/transports/grpc/generated/canton/com/digitalasset/daml/lf/archive/daml_lf2.d.ts

@@ -0,0 +1,4061 @@
+import { MessageType } from "@protobuf-ts/runtime";
+/**
+ * Canonical encoding in one-ofs for cases that carry no meaningful
+ * values.
+ *
+ * @generated from protobuf message daml_lf_2.Unit
+ */
+export interface Unit {
+}
+/**
+ * Package id
+ *
+ * @generated from protobuf message daml_lf_2.SelfOrImportedPackageId
+ */
+export interface SelfOrImportedPackageId {
+    /**
+     * @generated from protobuf oneof: Sum
+     */
+    sum: {
+        oneofKind: "selfPackageId";
+        /**
+         * Reference to the package of which the package this reference
+         * belongs.
+         *
+         * @generated from protobuf field: daml_lf_2.Unit self_package_id = 1
+         */
+        selfPackageId: Unit;
+    } | {
+        oneofKind: "importedPackageIdInternedStr";
+        /**
+         * *Must be a valid interned package Id string*
+         *
+         * @generated from protobuf field: int32 imported_package_id_interned_str = 3
+         */
+        importedPackageIdInternedStr: number;
+    } | {
+        oneofKind: "packageImportId";
+        /**
+         * an index in the package's explicit import table
+         *
+         * @generated from protobuf field: int32 package_import_id = 4
+         */
+        packageImportId: number;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * A fully qualified module reference
+ *
+ * @generated from protobuf message daml_lf_2.ModuleId
+ */
+export interface ModuleId {
+    /**
+     * package where the module is defined.
+     *
+     * @generated from protobuf field: daml_lf_2.SelfOrImportedPackageId package_id = 1
+     */
+    packageId?: SelfOrImportedPackageId;
+    /**
+     * @generated from protobuf field: int32 module_name_interned_dname = 2
+     */
+    moduleNameInternedDname: number;
+}
+/**
+ * A fully qualified reference to a type constructor name.
+ *
+ * @generated from protobuf message daml_lf_2.TypeConId
+ */
+export interface TypeConId {
+    /**
+     * Module where the type is defined.
+     *
+     * @generated from protobuf field: daml_lf_2.ModuleId module = 1
+     */
+    module?: ModuleId;
+    /**
+     * *Must be a valid interned name*
+     *
+     * @generated from protobuf field: int32 name_interned_dname = 2
+     */
+    nameInternedDname: number;
+}
+/**
+ * A fully qualified reference to a type synonym name.
+ *
+ * @generated from protobuf message daml_lf_2.TypeSynId
+ */
+export interface TypeSynId {
+    /**
+     * Module where the type is defined.
+     *
+     * @generated from protobuf field: daml_lf_2.ModuleId module = 1
+     */
+    module?: ModuleId;
+    /**
+     * *Must be a valid interned name*
+     *
+     * @generated from protobuf field: int32 name_interned_dname = 2
+     */
+    nameInternedDname: number;
+}
+/**
+ * A fully qualified reference to a value definition.
+ *
+ * @generated from protobuf message daml_lf_2.ValueId
+ */
+export interface ValueId {
+    /**
+     * Module where the value is defined
+     *
+     * @generated from protobuf field: daml_lf_2.ModuleId module = 1
+     */
+    module?: ModuleId;
+    /**
+     * *Must be a valid interned name*
+     *
+     * @generated from protobuf field: int32 name_interned_dname = 2
+     */
+    nameInternedDname: number;
+}
+/**
+ * A field name definition in a record or a variant associated with a type.
+ *
+ * @generated from protobuf message daml_lf_2.FieldWithType
+ */
+export interface FieldWithType {
+    /**
+     * *Must a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 field_interned_str = 3
+     */
+    fieldInternedStr: number;
+    /**
+     * Type associated
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 2
+     */
+    type?: Type;
+}
+/**
+ * Binder associated with a type.
+ *
+ * @generated from protobuf message daml_lf_2.VarWithType
+ */
+export interface VarWithType {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 var_interned_str = 3
+     */
+    varInternedStr: number;
+    /**
+     * Type of the bound variable
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 2
+     */
+    type?: Type;
+}
+/**
+ * Type binder associated with a kind.
+ *
+ * @generated from protobuf message daml_lf_2.TypeVarWithKind
+ */
+export interface TypeVarWithKind {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 var_interned_str = 3
+     */
+    varInternedStr: number;
+    /**
+     * Kind of the bound variable
+     *
+     * @generated from protobuf field: daml_lf_2.Kind kind = 2
+     */
+    kind?: Kind;
+}
+/**
+ * A field in a record with its value.
+ *
+ * @generated from protobuf message daml_lf_2.FieldWithExpr
+ */
+export interface FieldWithExpr {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 field_interned_str = 3
+     */
+    fieldInternedStr: number;
+    /**
+     * Value of the field
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * A binding of a typed binder to an expression
+ *
+ * @generated from protobuf message daml_lf_2.Binding
+ */
+export interface Binding {
+    /**
+     * The binder (expression variable and type)
+     *
+     * @generated from protobuf field: daml_lf_2.VarWithType binder = 1
+     */
+    binder?: VarWithType;
+    /**
+     * The value to which the variable is bound.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr bound = 2
+     */
+    bound?: Expr;
+}
+/**
+ * Kinds
+ *
+ * @generated from protobuf message daml_lf_2.Kind
+ */
+export interface Kind {
+    /**
+     * @generated from protobuf oneof: Sum
+     */
+    sum: {
+        oneofKind: "star";
+        /**
+         * Kind of monomorphic type.
+         *
+         * @generated from protobuf field: daml_lf_2.Unit star = 1
+         */
+        star: Unit;
+    } | {
+        oneofKind: "arrow";
+        /**
+         * Kind of polymorphic type.
+         *
+         * @generated from protobuf field: daml_lf_2.Kind.Arrow arrow = 2
+         */
+        arrow: Kind_Arrow;
+    } | {
+        oneofKind: "nat";
+        /**
+         * kind of TNat type;
+         *
+         * @generated from protobuf field: daml_lf_2.Unit nat = 3
+         */
+        nat: Unit;
+    } | {
+        oneofKind: "internedKind";
+        /**
+         * interned kinds
+         * this should really be an uint32, change in next breaking change
+         *
+         * @generated from protobuf field: int32 interned_kind = 4
+         */
+        internedKind: number;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * The kind of polimorphic type.
+ *
+ * @generated from protobuf message daml_lf_2.Kind.Arrow
+ */
+export interface Kind_Arrow {
+    /**
+     * parameter of the kind
+     * *Must be non-empty*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Kind params = 1
+     */
+    params: Kind[];
+    /**
+     * @generated from protobuf field: daml_lf_2.Kind result = 2
+     */
+    result?: Kind;
+}
+/**
+ * Types
+ *
+ * @generated from protobuf message daml_lf_2.Type
+ */
+export interface Type {
+    /**
+     * @generated from protobuf oneof: Sum
+     */
+    sum: {
+        oneofKind: "var";
+        /**
+         * @generated from protobuf field: daml_lf_2.Type.Var var = 1
+         */
+        var: Type_Var;
+    } | {
+        oneofKind: "con";
+        /**
+         * @generated from protobuf field: daml_lf_2.Type.Con con = 2
+         */
+        con: Type_Con;
+    } | {
+        oneofKind: "builtin";
+        /**
+         * @generated from protobuf field: daml_lf_2.Type.Builtin builtin = 3
+         */
+        builtin: Type_Builtin;
+    } | {
+        oneofKind: "forall";
+        /**
+         * @generated from protobuf field: daml_lf_2.Type.Forall forall = 4
+         */
+        forall: Type_Forall;
+    } | {
+        oneofKind: "struct";
+        /**
+         * @generated from protobuf field: daml_lf_2.Type.Struct struct = 5
+         */
+        struct: Type_Struct;
+    } | {
+        oneofKind: "nat";
+        /**
+         * *Must be between 0 and 37 (bounds inclusive)*
+         * use standard signed long for future usage.
+         *
+         * @generated from protobuf field: sint64 nat = 6
+         */
+        nat: string;
+    } | {
+        oneofKind: "syn";
+        /**
+         * @generated from protobuf field: daml_lf_2.Type.Syn syn = 7
+         */
+        syn: Type_Syn;
+    } | {
+        oneofKind: "internedType";
+        /**
+         * @generated from protobuf field: int32 interned_type = 8
+         */
+        internedType: number;
+    } | {
+        oneofKind: "tapp";
+        /**
+         * added in 2.dev, to replace local flattening (the lists of types on other
+         * nodes)
+         *
+         * @generated from protobuf field: daml_lf_2.Type.TApp tapp = 9
+         */
+        tapp: Type_TApp;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * Possibly applied type variable 'TyVar'
+ *
+ * @generated from protobuf message daml_lf_2.Type.Var
+ */
+export interface Type_Var {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 var_interned_str = 3
+     */
+    varInternedStr: number;
+    /**
+     * Types to which the variable is applied
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Type args = 2
+     */
+    args: Type[];
+}
+/**
+ * Possibly applied type constructor 'TyCon'
+ *
+ * @generated from protobuf message daml_lf_2.Type.Con
+ */
+export interface Type_Con {
+    /**
+     * Name of the type constructor name
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId tycon = 1
+     */
+    tycon?: TypeConId;
+    /**
+     * Type to which the constructor name is applied.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Type args = 2
+     */
+    args: Type[];
+}
+/**
+ * Fully applied type constructor 'TySyn'
+ *
+ * @generated from protobuf message daml_lf_2.Type.Syn
+ */
+export interface Type_Syn {
+    /**
+     * Name of the type synonym
+     *
+     * @generated from protobuf field: daml_lf_2.TypeSynId tysyn = 1
+     */
+    tysyn?: TypeSynId;
+    /**
+     * Types to which the synonym is applied.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Type args = 2
+     */
+    args: Type[];
+}
+/**
+ * Possibly applied builtin types
+ *
+ * @generated from protobuf message daml_lf_2.Type.Builtin
+ */
+export interface Type_Builtin {
+    /**
+     * Builtin type
+     * FixMe: Rename
+     *
+     * @generated from protobuf field: daml_lf_2.BuiltinType builtin = 1
+     */
+    builtin: BuiltinType;
+    /**
+     * Types to which the builtin type is applied.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Type args = 2
+     */
+    args: Type[];
+}
+/**
+ * Universal quantification 'TyForAll'
+ *
+ * @generated from protobuf message daml_lf_2.Type.Forall
+ */
+export interface Type_Forall {
+    /**
+     * binders of the quantification
+     * *Must be non-empty*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.TypeVarWithKind vars = 1
+     */
+    vars: TypeVarWithKind[];
+    /**
+     * Body of the quantification
+     *
+     * @generated from protobuf field: daml_lf_2.Type body = 2
+     */
+    body?: Type;
+}
+/**
+ * Struct type
+ *
+ * @generated from protobuf message daml_lf_2.Type.Struct
+ */
+export interface Type_Struct {
+    /**
+     * name of the field with their types.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.FieldWithType fields = 1
+     */
+    fields: FieldWithType[];
+}
+/**
+ * Type Application
+ *
+ * type applications of shape "t1 t2"
+ *
+ * @generated from protobuf message daml_lf_2.Type.TApp
+ */
+export interface Type_TApp {
+    /**
+     * t1 in "t1 t2"
+     *
+     * @generated from protobuf field: daml_lf_2.Type lhs = 1
+     */
+    lhs?: Type;
+    /**
+     * t2 in "t1 t2"
+     *
+     * @generated from protobuf field: daml_lf_2.Type rhs = 2
+     */
+    rhs?: Type;
+}
+/**
+ * Builtin literals
+ *
+ * @generated from protobuf message daml_lf_2.BuiltinLit
+ */
+export interface BuiltinLit {
+    /**
+     * @generated from protobuf oneof: Sum
+     */
+    sum: {
+        oneofKind: "int64";
+        /**
+         *  64-bit integer literal ('LitInt64')
+         *
+         * @generated from protobuf field: sint64 int64 = 1
+         */
+        int64: string;
+    } | {
+        oneofKind: "timestamp";
+        /**
+         * *Must be a valid timestamp*
+         *
+         * @generated from protobuf field: sfixed64 timestamp = 2
+         */
+        timestamp: string;
+    } | {
+        oneofKind: "numericInternedStr";
+        /**
+         * *Must be a valid interned numeric *\/
+         *
+         * @generated from protobuf field: int32 numeric_interned_str = 3
+         */
+        numericInternedStr: number;
+    } | {
+        oneofKind: "textInternedStr";
+        /**
+         * *Must be a valid interned text*
+         *
+         * @generated from protobuf field: int32 text_interned_str = 4
+         */
+        textInternedStr: number;
+    } | {
+        oneofKind: "date";
+        /**
+         * *Must be a valid date*
+         *
+         * @generated from protobuf field: int32 date = 5
+         */
+        date: number;
+    } | {
+        oneofKind: "failureCategory";
+        /**
+         * *Failure category for failWithStatus*
+         *
+         * @generated from protobuf field: daml_lf_2.BuiltinLit.FailureCategory failure_category = 6
+         */
+        failureCategory: BuiltinLit_FailureCategory;
+    } | {
+        oneofKind: "roundingMode";
+        /**
+         * rounding mode for arithmetic operation
+         * *Available in versions >= 2.dev*
+         *
+         * @generated from protobuf field: daml_lf_2.BuiltinLit.RoundingMode rounding_mode = 1001
+         */
+        roundingMode: BuiltinLit_RoundingMode;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * match java.math.BigDecimal.ROUND_XXX constants
+ * *Available in versions >= 2.dev*
+ *
+ * @generated from protobuf enum daml_lf_2.BuiltinLit.RoundingMode
+ */
+export declare enum BuiltinLit_RoundingMode {
+    /**
+     * @generated from protobuf enum value: UP = 0;
+     */
+    UP = 0,
+    /**
+     * @generated from protobuf enum value: DOWN = 1;
+     */
+    DOWN = 1,
+    /**
+     * @generated from protobuf enum value: CEILING = 2;
+     */
+    CEILING = 2,
+    /**
+     * @generated from protobuf enum value: FLOOR = 3;
+     */
+    FLOOR = 3,
+    /**
+     * @generated from protobuf enum value: HALF_UP = 4;
+     */
+    HALF_UP = 4,
+    /**
+     * @generated from protobuf enum value: HALF_DOWN = 5;
+     */
+    HALF_DOWN = 5,
+    /**
+     * @generated from protobuf enum value: HALF_EVEN = 6;
+     */
+    HALF_EVEN = 6,
+    /**
+     * @generated from protobuf enum value: UNNECESSARY = 7;
+     */
+    UNNECESSARY = 7
+}
+/**
+ * @generated from protobuf enum daml_lf_2.BuiltinLit.FailureCategory
+ */
+export declare enum BuiltinLit_FailureCategory {
+    /**
+     * @generated from protobuf enum value: INVALID_INDEPENDENT_OF_SYSTEM_STATE = 0;
+     */
+    INVALID_INDEPENDENT_OF_SYSTEM_STATE = 0,
+    /**
+     * @generated from protobuf enum value: INVALID_GIVEN_CURRENT_SYSTEM_STATE_OTHER = 1;
+     */
+    INVALID_GIVEN_CURRENT_SYSTEM_STATE_OTHER = 1
+}
+/**
+ * Source code locations
+ *
+ * @generated from protobuf message daml_lf_2.Location
+ */
+export interface Location {
+    /**
+     * @generated from protobuf field: daml_lf_2.ModuleId module = 1
+     */
+    module?: ModuleId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Location.Range range = 2
+     */
+    range?: Location_Range;
+}
+/**
+ * 0-indexed start and end line and column numbers.
+ *
+ * @generated from protobuf message daml_lf_2.Location.Range
+ */
+export interface Location_Range {
+    /**
+     * @generated from protobuf field: int32 start_line = 1
+     */
+    startLine: number;
+    /**
+     * @generated from protobuf field: int32 start_col = 2
+     */
+    startCol: number;
+    /**
+     * @generated from protobuf field: int32 end_line = 3
+     */
+    endLine: number;
+    /**
+     * @generated from protobuf field: int32 end_col = 4
+     */
+    endCol: number;
+}
+/**
+ * Expressions
+ *
+ * @generated from protobuf message daml_lf_2.Expr
+ */
+export interface Expr {
+    /**
+     * Location of the expression in the Daml code source.
+     * Optional
+     *
+     * @generated from protobuf field: daml_lf_2.Location location = 1
+     */
+    location?: Location;
+    /**
+     * @generated from protobuf oneof: Sum
+     */
+    sum: {
+        oneofKind: "varInternedStr";
+        /**
+         * *Must be a valid interned identifier*
+         * this should really be an uint32, change in next breaking change
+         *
+         * @generated from protobuf field: int32 var_interned_str = 2
+         */
+        varInternedStr: number;
+    } | {
+        oneofKind: "val";
+        /**
+         * Defined value ('ExpVal')
+         *
+         * @generated from protobuf field: daml_lf_2.ValueId val = 3
+         */
+        val: ValueId;
+    } | {
+        oneofKind: "builtin";
+        /**
+         * Builtin function ('ExpBuiltin')
+         *
+         * @generated from protobuf field: daml_lf_2.BuiltinFunction builtin = 4
+         */
+        builtin: BuiltinFunction;
+    } | {
+        oneofKind: "builtinCon";
+        /**
+         * Builtin constructor ('()', 'False' or 'True')
+         *
+         * @generated from protobuf field: daml_lf_2.BuiltinCon builtin_con = 5
+         */
+        builtinCon: BuiltinCon;
+    } | {
+        oneofKind: "builtinLit";
+        /**
+         * Builtin literal ('ExpBuiltin')
+         *
+         * @generated from protobuf field: daml_lf_2.BuiltinLit builtin_lit = 6
+         */
+        builtinLit: BuiltinLit;
+    } | {
+        oneofKind: "recCon";
+        /**
+         * Record construction ('ExpRecCon')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.RecCon rec_con = 7
+         */
+        recCon: Expr_RecCon;
+    } | {
+        oneofKind: "recProj";
+        /**
+         * Record projection ('ExpRecProj')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.RecProj rec_proj = 8
+         */
+        recProj: Expr_RecProj;
+    } | {
+        oneofKind: "recUpd";
+        /**
+         * Record udpate ('ExpRecUpdate')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.RecUpd rec_upd = 9
+         */
+        recUpd: Expr_RecUpd;
+    } | {
+        oneofKind: "variantCon";
+        /**
+         * Variant construction ('ExpVariantCon')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.VariantCon variant_con = 10
+         */
+        variantCon: Expr_VariantCon;
+    } | {
+        oneofKind: "enumCon";
+        /**
+         * Enum construction ('ExpEnumCon')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.EnumCon enum_con = 11
+         */
+        enumCon: Expr_EnumCon;
+    } | {
+        oneofKind: "structCon";
+        /**
+         * Struct construction ('ExpStructCon')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.StructCon struct_con = 12
+         */
+        structCon: Expr_StructCon;
+    } | {
+        oneofKind: "structProj";
+        /**
+         * Struct project ('ExpStructProj')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.StructProj struct_proj = 13
+         */
+        structProj: Expr_StructProj;
+    } | {
+        oneofKind: "structUpd";
+        /**
+         * Struct update ('ExpStructUpdate')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.StructUpd struct_upd = 14
+         */
+        structUpd: Expr_StructUpd;
+    } | {
+        oneofKind: "app";
+        /**
+         * Application ('ExpApp')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.App app = 15
+         */
+        app: Expr_App;
+    } | {
+        oneofKind: "tyApp";
+        /**
+         * Type Application ('ExpTyApp')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.TyApp ty_app = 16
+         */
+        tyApp: Expr_TyApp;
+    } | {
+        oneofKind: "abs";
+        /**
+         * Abstraction ('ExpAbs')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.Abs abs = 17
+         */
+        abs: Expr_Abs;
+    } | {
+        oneofKind: "tyAbs";
+        /**
+         * Type Abstraction ('ExpTyAbs')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.TyAbs ty_abs = 18
+         */
+        tyAbs: Expr_TyAbs;
+    } | {
+        oneofKind: "case";
+        /**
+         * Pattern Matching ('ExpCase')
+         *
+         * @generated from protobuf field: daml_lf_2.Case case = 19
+         */
+        case: Case;
+    } | {
+        oneofKind: "let";
+        /**
+         * Let block ('ExpLet')
+         *
+         * @generated from protobuf field: daml_lf_2.Block let = 20
+         */
+        let: Block;
+    } | {
+        oneofKind: "nil";
+        /**
+         * Empty List ('ExpNil')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.Nil nil = 21
+         */
+        nil: Expr_Nil;
+    } | {
+        oneofKind: "cons";
+        /**
+         * Non Empty list ('ExpCons')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.Cons cons = 22
+         */
+        cons: Expr_Cons;
+    } | {
+        oneofKind: "update";
+        /**
+         * Update expression ('ExpUpdate')
+         *
+         * @generated from protobuf field: daml_lf_2.Update update = 23
+         */
+        update: Update;
+    } | {
+        oneofKind: "optionalNone";
+        /**
+         * empty optional value ('ExpNone')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.OptionalNone optional_none = 25
+         */
+        optionalNone: Expr_OptionalNone;
+    } | {
+        oneofKind: "optionalSome";
+        /**
+         * non empty optional value ('ExpSome')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.OptionalSome optional_some = 26
+         */
+        optionalSome: Expr_OptionalSome;
+    } | {
+        oneofKind: "toAny";
+        /**
+         * Wrap an arbitrary value in Any ('ExpToAny')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.ToAny to_any = 27
+         */
+        toAny: Expr_ToAny;
+    } | {
+        oneofKind: "fromAny";
+        /**
+         * Extract the given type from Any or return None on type-mismatch ('ExpFromAny')
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.FromAny from_any = 28
+         */
+        fromAny: Expr_FromAny;
+    } | {
+        oneofKind: "typeRep";
+        /**
+         * A type representation
+         *
+         * @generated from protobuf field: daml_lf_2.Type type_rep = 29
+         */
+        typeRep: Type;
+    } | {
+        oneofKind: "toAnyException";
+        /**
+         * Wrap an arbitrary exception into an AnyException ('ExpToAnyException').
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.ToAnyException to_any_exception = 30
+         */
+        toAnyException: Expr_ToAnyException;
+    } | {
+        oneofKind: "fromAnyException";
+        /**
+         * Extract an arbitrary exception from an AnyException ('ExpFromAnyException').
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.FromAnyException from_any_exception = 31
+         */
+        fromAnyException: Expr_FromAnyException;
+    } | {
+        oneofKind: "throw";
+        /**
+         * Throw an exception ('ExpThrow').
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.Throw throw = 32
+         */
+        throw: Expr_Throw;
+    } | {
+        oneofKind: "toInterface";
+        /**
+         * Convert to/from interface payloads.
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.ToInterface to_interface = 33
+         */
+        toInterface: Expr_ToInterface;
+    } | {
+        oneofKind: "fromInterface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Expr.FromInterface from_interface = 34
+         */
+        fromInterface: Expr_FromInterface;
+    } | {
+        oneofKind: "callInterface";
+        /**
+         * Invoke an interface method.
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.CallInterface call_interface = 35
+         */
+        callInterface: Expr_CallInterface;
+    } | {
+        oneofKind: "signatoryInterface";
+        /**
+         * Obtain a contract's signatories/observers through an interface.
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.SignatoryInterface signatory_interface = 36
+         */
+        signatoryInterface: Expr_SignatoryInterface;
+    } | {
+        oneofKind: "observerInterface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Expr.ObserverInterface observer_interface = 37
+         */
+        observerInterface: Expr_ObserverInterface;
+    } | {
+        oneofKind: "viewInterface";
+        /**
+         * Invoke an interface method.
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.ViewInterface view_interface = 38
+         */
+        viewInterface: Expr_ViewInterface;
+    } | {
+        oneofKind: "unsafeFromInterface";
+        /**
+         * Unsafe conversion from interface payloads.
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.UnsafeFromInterface unsafe_from_interface = 39
+         */
+        unsafeFromInterface: Expr_UnsafeFromInterface;
+    } | {
+        oneofKind: "interfaceTemplateTypeRep";
+        /**
+         * Obtain the type representation of a contract's template through an interface.
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.InterfaceTemplateTypeRep interface_template_type_rep = 40
+         */
+        interfaceTemplateTypeRep: Expr_InterfaceTemplateTypeRep;
+    } | {
+        oneofKind: "toRequiredInterface";
+        /**
+         * Upcast/downcast interface payloads.
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.ToRequiredInterface to_required_interface = 41
+         */
+        toRequiredInterface: Expr_ToRequiredInterface;
+    } | {
+        oneofKind: "fromRequiredInterface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Expr.FromRequiredInterface from_required_interface = 42
+         */
+        fromRequiredInterface: Expr_FromRequiredInterface;
+    } | {
+        oneofKind: "unsafeFromRequiredInterface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Expr.UnsafeFromRequiredInterface unsafe_from_required_interface = 43
+         */
+        unsafeFromRequiredInterface: Expr_UnsafeFromRequiredInterface;
+    } | {
+        oneofKind: "internedExpr";
+        /**
+         * @generated from protobuf field: int32 interned_expr = 44
+         */
+        internedExpr: number;
+    } | {
+        oneofKind: "choiceController";
+        /**
+         * Obtain the controllers for a choice.
+         * *Available in versions >= 2.dev*
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.ChoiceController choice_controller = 1001
+         */
+        choiceController: Expr_ChoiceController;
+    } | {
+        oneofKind: "choiceObserver";
+        /**
+         * Obtain the observers for a choice.
+         * *Available in versions >= 2.dev*
+         *
+         * @generated from protobuf field: daml_lf_2.Expr.ChoiceObserver choice_observer = 1002
+         */
+        choiceObserver: Expr_ChoiceObserver;
+    } | {
+        oneofKind: "experimental";
+        /**
+         * @generated from protobuf field: daml_lf_2.Expr.Experimental experimental = 9999
+         */
+        experimental: Expr_Experimental;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * Record construction ('ExpRecCon')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.RecCon
+ */
+export interface Expr_RecCon {
+    /**
+     * type of the record being constructed
+     *
+     * @generated from protobuf field: daml_lf_2.Type.Con tycon = 1
+     */
+    tycon?: Type_Con;
+    /**
+     * Field names and the associated values.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.FieldWithExpr fields = 2
+     */
+    fields: FieldWithExpr[];
+}
+/**
+ * Record projection (ExpRecProj)
+ *
+ * @generated from protobuf message daml_lf_2.Expr.RecProj
+ */
+export interface Expr_RecProj {
+    /**
+     * type of the record being projected.
+     *
+     * @generated from protobuf field: daml_lf_2.Type.Con tycon = 1
+     */
+    tycon?: Type_Con;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 field_interned_str = 4
+     */
+    fieldInternedStr: number;
+    /**
+     * projected expression
+     *
+     * @generated from protobuf field: daml_lf_2.Expr record = 3
+     */
+    record?: Expr;
+}
+/**
+ * Record update ('ExpRecUp')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.RecUpd
+ */
+export interface Expr_RecUpd {
+    /**
+     * type of the record being updated
+     *
+     * @generated from protobuf field: daml_lf_2.Type.Con tycon = 1
+     */
+    tycon?: Type_Con;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 field_interned_str = 2
+     */
+    fieldInternedStr: number;
+    /**
+     * Actual record being updated
+     *
+     * @generated from protobuf field: daml_lf_2.Expr record = 3
+     */
+    record?: Expr;
+    /**
+     * Value to wich the record is udpated
+     *
+     * @generated from protobuf field: daml_lf_2.Expr update = 4
+     */
+    update?: Expr;
+}
+/**
+ * Variant construction ('ExpVariantCon')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.VariantCon
+ */
+export interface Expr_VariantCon {
+    /**
+     * type of the variant being constructed
+     *
+     * @generated from protobuf field: daml_lf_2.Type.Con tycon = 1
+     */
+    tycon?: Type_Con;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 variant_con_interned_str = 2
+     */
+    variantConInternedStr: number;
+    /**
+     * Argument of the variant.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr variant_arg = 3
+     */
+    variantArg?: Expr;
+}
+/**
+ * Enum construction ('ExpEnumCon')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.EnumCon
+ */
+export interface Expr_EnumCon {
+    /**
+     * Name of the type constructor name
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId tycon = 1
+     */
+    tycon?: TypeConId;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 enum_con_interned_str = 2
+     */
+    enumConInternedStr: number;
+}
+/**
+ * Struct Construction ('ExpStructCon')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.StructCon
+ */
+export interface Expr_StructCon {
+    /**
+     * Field names and their associated values.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.FieldWithExpr fields = 1
+     */
+    fields: FieldWithExpr[];
+}
+/**
+ * Struct Projection ('ExpStructProj')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.StructProj
+ */
+export interface Expr_StructProj {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 field_interned_str = 1
+     */
+    fieldInternedStr: number;
+    /**
+     * struct to be projected.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr struct = 2
+     */
+    struct?: Expr;
+}
+/**
+ * Struct update ('ExpTuplUpdate')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.StructUpd
+ */
+export interface Expr_StructUpd {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 field_interned_str = 1
+     */
+    fieldInternedStr: number;
+    /**
+     * Actual struct being updated.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr struct = 2
+     */
+    struct?: Expr;
+    /**
+     * Value to which the record is udpated.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr update = 3
+     */
+    update?: Expr;
+}
+/**
+ * Application ('ExpApp')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.App
+ */
+export interface Expr_App {
+    /**
+     * Function
+     *
+     * @generated from protobuf field: daml_lf_2.Expr fun = 1
+     */
+    fun?: Expr;
+    /**
+     * Arguments of the function.
+     * *Must be non-empty*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Expr args = 2
+     */
+    args: Expr[];
+}
+/**
+ * Type application ('ExpTyApp')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.TyApp
+ */
+export interface Expr_TyApp {
+    /**
+     * Polymorphic expression
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 1
+     */
+    expr?: Expr;
+    /**
+     * Arguments of the function.
+     * *Must be non-empty*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Type types = 2
+     */
+    types: Type[];
+}
+/**
+ * Abstraction ('ExpAbs')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.Abs
+ */
+export interface Expr_Abs {
+    /**
+     * Abstracted Variables with their kind
+     * *Must be non-empty*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.VarWithType param = 1
+     */
+    param: VarWithType[];
+    /**
+     * Abstracted value
+     *
+     * @generated from protobuf field: daml_lf_2.Expr body = 2
+     */
+    body?: Expr;
+}
+/**
+ * @generated from protobuf message daml_lf_2.Expr.TyAbs
+ */
+export interface Expr_TyAbs {
+    /**
+     * Abstracted Variables with their type
+     * *Must be non-empty*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.TypeVarWithKind param = 1
+     */
+    param: TypeVarWithKind[];
+    /**
+     * Abstracted value
+     *
+     * @generated from protobuf field: daml_lf_2.Expr body = 2
+     */
+    body?: Expr;
+}
+/**
+ * Empty list ('ExpNil')
+ *
+ * @generated from protobuf message daml_lf_2.Expr.Nil
+ */
+export interface Expr_Nil {
+    /**
+     * type of the list elements.
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+}
+/**
+ * Non empty list
+ *
+ * @generated from protobuf message daml_lf_2.Expr.Cons
+ */
+export interface Expr_Cons {
+    /**
+     * type of the list elements.
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * Front element of the list.
+     * *Must be non-empty*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Expr front = 2
+     */
+    front: Expr[];
+    /**
+     * tail of the list
+     *
+     * @generated from protobuf field: daml_lf_2.Expr tail = 3
+     */
+    tail?: Expr;
+}
+/**
+ * (*Since version 1*)
+ * Empty optional value
+ *
+ * @generated from protobuf message daml_lf_2.Expr.OptionalNone
+ */
+export interface Expr_OptionalNone {
+    /**
+     * type of the element
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+}
+/**
+ * (*Since version 1*)
+ * Non empty optional value
+ *
+ * @generated from protobuf message daml_lf_2.Expr.OptionalSome
+ */
+export interface Expr_OptionalSome {
+    /**
+     * type of the element
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * contained value
+     *
+     * @generated from protobuf field: daml_lf_2.Expr value = 2
+     */
+    value?: Expr;
+}
+/**
+ * Wrap a value in Any
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ToAny
+ */
+export interface Expr_ToAny {
+    /**
+     * type of argument. Must be the TypeConId of a template.
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Extract the given type from Any or return None on type-mismatch
+ *
+ * @generated from protobuf message daml_lf_2.Expr.FromAny
+ */
+export interface Expr_FromAny {
+    /**
+     * type that should be extracted. Must be the TypeConId of a template.
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * Value of type Any
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Wrap an exception value in AnyException
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ToAnyException
+ */
+export interface Expr_ToAnyException {
+    /**
+     * type of argument. Must be an exception type.
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Extract the given exception type from AnyException or return None on type-mismatch
+ *
+ * @generated from protobuf message daml_lf_2.Expr.FromAnyException
+ */
+export interface Expr_FromAnyException {
+    /**
+     * type that should be extracted. Must be an exception type.
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * Value of type AnyException
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Throw an exception.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.Throw
+ */
+export interface Expr_Throw {
+    /**
+     * Overall type of the "throw" expression.
+     *
+     * @generated from protobuf field: daml_lf_2.Type return_type = 1
+     */
+    returnType?: Type;
+    /**
+     * Type of exception to throw. Must be an exception type.
+     *
+     * @generated from protobuf field: daml_lf_2.Type exception_type = 2
+     */
+    exceptionType?: Type;
+    /**
+     * Value of type "exception_type".
+     *
+     * @generated from protobuf field: daml_lf_2.Expr exception_expr = 3
+     */
+    exceptionExpr?: Expr;
+}
+/**
+ * Convert a template payload to an interface.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ToInterface
+ */
+export interface Expr_ToInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId interface_type = 1
+     */
+    interfaceType?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId template_type = 2
+     */
+    templateType?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr template_expr = 3
+     */
+    templateExpr?: Expr;
+}
+/**
+ * Convert an interface back to a template payload if possible.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.FromInterface
+ */
+export interface Expr_FromInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId interface_type = 1
+     */
+    interfaceType?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId template_type = 2
+     */
+    templateType?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr interface_expr = 3
+     */
+    interfaceExpr?: Expr;
+}
+/**
+ * Invoke an interface method.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.CallInterface
+ */
+export interface Expr_CallInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId interface_type = 1
+     */
+    interfaceType?: TypeConId;
+    /**
+     * @generated from protobuf field: int32 method_interned_name = 2
+     */
+    methodInternedName: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr interface_expr = 3
+     */
+    interfaceExpr?: Expr;
+}
+/**
+ * Obtain an interface view
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ViewInterface
+ */
+export interface Expr_ViewInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Obtain the signatories of a contract through an interface
+ *
+ * @generated from protobuf message daml_lf_2.Expr.SignatoryInterface
+ */
+export interface Expr_SignatoryInterface {
+    /**
+     * Interface type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * Interface argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Obtain the observers of a contract through an interface
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ObserverInterface
+ */
+export interface Expr_ObserverInterface {
+    /**
+     * Interface type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * Interface argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Convert an interface back to a template payload, or raises WronglyTypedContract if not possible.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.UnsafeFromInterface
+ */
+export interface Expr_UnsafeFromInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId interface_type = 1
+     */
+    interfaceType?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId template_type = 2
+     */
+    templateType?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr contract_id_expr = 3
+     */
+    contractIdExpr?: Expr;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr interface_expr = 4
+     */
+    interfaceExpr?: Expr;
+}
+/**
+ * Upcast from an interface payload to an interface it requires.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ToRequiredInterface
+ */
+export interface Expr_ToRequiredInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId required_interface = 1
+     */
+    requiredInterface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId requiring_interface = 2
+     */
+    requiringInterface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr expr = 3
+     */
+    expr?: Expr;
+}
+/**
+ * Downcast from an interface payload to an interface that requires it, if possible.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.FromRequiredInterface
+ */
+export interface Expr_FromRequiredInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId required_interface = 1
+     */
+    requiredInterface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId requiring_interface = 2
+     */
+    requiringInterface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr expr = 3
+     */
+    expr?: Expr;
+}
+/**
+ * Downcast from an interface payload to an interface that requires it, or raises WronglyTypedContract if not possible.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.UnsafeFromRequiredInterface
+ */
+export interface Expr_UnsafeFromRequiredInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId required_interface = 1
+     */
+    requiredInterface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId requiring_interface = 2
+     */
+    requiringInterface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr contract_id_expr = 3
+     */
+    contractIdExpr?: Expr;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr interface_expr = 4
+     */
+    interfaceExpr?: Expr;
+}
+/**
+ * Obtain the type representation of a contract through an interface
+ *
+ * @generated from protobuf message daml_lf_2.Expr.InterfaceTemplateTypeRep
+ */
+export interface Expr_InterfaceTemplateTypeRep {
+    /**
+     * interface type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * interface argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Obtain the controllers for a choice.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ChoiceController
+ */
+export interface Expr_ChoiceController {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+    /**
+     * @generated from protobuf field: int32 choice_interned_str = 2
+     */
+    choiceInternedStr: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr contract_expr = 3
+     */
+    contractExpr?: Expr;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr choice_arg_expr = 4
+     */
+    choiceArgExpr?: Expr;
+}
+/**
+ * Obtain the observers for a choice.
+ *
+ * @generated from protobuf message daml_lf_2.Expr.ChoiceObserver
+ */
+export interface Expr_ChoiceObserver {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+    /**
+     * @generated from protobuf field: int32 choice_interned_str = 2
+     */
+    choiceInternedStr: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr contract_expr = 3
+     */
+    contractExpr?: Expr;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr choice_arg_expr = 4
+     */
+    choiceArgExpr?: Expr;
+}
+/**
+ * @generated from protobuf message daml_lf_2.Expr.Experimental
+ */
+export interface Expr_Experimental {
+    /**
+     * @generated from protobuf field: string name = 1
+     */
+    name: string;
+    /**
+     * @generated from protobuf field: daml_lf_2.Type type = 2
+     */
+    type?: Type;
+}
+/**
+ * Case alternative
+ *
+ * @generated from protobuf message daml_lf_2.CaseAlt
+ */
+export interface CaseAlt {
+    /**
+     * @generated from protobuf oneof: Sum
+     */
+    sum: {
+        oneofKind: "default";
+        /**
+         * @generated from protobuf field: daml_lf_2.Unit default = 2
+         */
+        default: Unit;
+    } | {
+        oneofKind: "variant";
+        /**
+         * @generated from protobuf field: daml_lf_2.CaseAlt.Variant variant = 3
+         */
+        variant: CaseAlt_Variant;
+    } | {
+        oneofKind: "builtinCon";
+        /**
+         * @generated from protobuf field: daml_lf_2.BuiltinCon builtin_con = 4
+         */
+        builtinCon: BuiltinCon;
+    } | {
+        oneofKind: "nil";
+        /**
+         * @generated from protobuf field: daml_lf_2.Unit nil = 5
+         */
+        nil: Unit;
+    } | {
+        oneofKind: "cons";
+        /**
+         * @generated from protobuf field: daml_lf_2.CaseAlt.Cons cons = 6
+         */
+        cons: CaseAlt_Cons;
+    } | {
+        oneofKind: "optionalNone";
+        /**
+         * @generated from protobuf field: daml_lf_2.Unit optional_none = 7
+         */
+        optionalNone: Unit;
+    } | {
+        oneofKind: "optionalSome";
+        /**
+         * @generated from protobuf field: daml_lf_2.CaseAlt.OptionalSome optional_some = 8
+         */
+        optionalSome: CaseAlt_OptionalSome;
+    } | {
+        oneofKind: "enum";
+        /**
+         * @generated from protobuf field: daml_lf_2.CaseAlt.Enum enum = 9
+         */
+        enum: CaseAlt_Enum;
+    } | {
+        oneofKind: undefined;
+    };
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr body = 1
+     */
+    body?: Expr;
+}
+/**
+ * Variant pattern
+ *
+ * @generated from protobuf message daml_lf_2.CaseAlt.Variant
+ */
+export interface CaseAlt_Variant {
+    /**
+     * name of the type constructor
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId con = 1
+     */
+    con?: TypeConId;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 variant_interned_str = 2
+     */
+    variantInternedStr: number;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 binder_interned_str = 3
+     */
+    binderInternedStr: number;
+}
+/**
+ * Enum pattern
+ *
+ * @generated from protobuf message daml_lf_2.CaseAlt.Enum
+ */
+export interface CaseAlt_Enum {
+    /**
+     * name of the type constructor
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId con = 1
+     */
+    con?: TypeConId;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 constructor_interned_str = 2
+     */
+    constructorInternedStr: number;
+}
+/**
+ * Non empty list pattern
+ *
+ * @generated from protobuf message daml_lf_2.CaseAlt.Cons
+ */
+export interface CaseAlt_Cons {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 var_head_interned_str = 1
+     */
+    varHeadInternedStr: number;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 var_tail_interned_str = 2
+     */
+    varTailInternedStr: number;
+}
+/**
+ * Non empty option patterm
+ *
+ * @generated from protobuf message daml_lf_2.CaseAlt.OptionalSome
+ */
+export interface CaseAlt_OptionalSome {
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 var_body_interned_str = 1
+     */
+    varBodyInternedStr: number;
+}
+/**
+ * @generated from protobuf message daml_lf_2.Case
+ */
+export interface Case {
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr scrut = 1
+     */
+    scrut?: Expr;
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.CaseAlt alts = 2
+     */
+    alts: CaseAlt[];
+}
+/**
+ * A block of bindings and an expression.
+ * Encodes a sequence of binds in e.g. a let or update block.
+ *
+ * @generated from protobuf message daml_lf_2.Block
+ */
+export interface Block {
+    /**
+     * *Must be non-empty*
+     * Bindings
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Binding bindings = 1
+     */
+    bindings: Binding[];
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr body = 2
+     */
+    body?: Expr;
+}
+/**
+ * A Pure statement either update
+ *
+ * @generated from protobuf message daml_lf_2.Pure
+ */
+export interface Pure {
+    /**
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * @generated from protobuf message daml_lf_2.Update
+ */
+export interface Update {
+    /**
+     * @generated from protobuf oneof: Sum
+     */
+    sum: {
+        oneofKind: "pure";
+        /**
+         * @generated from protobuf field: daml_lf_2.Pure pure = 1
+         */
+        pure: Pure;
+    } | {
+        oneofKind: "block";
+        /**
+         * @generated from protobuf field: daml_lf_2.Block block = 2
+         */
+        block: Block;
+    } | {
+        oneofKind: "create";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.Create create = 3
+         */
+        create: Update_Create;
+    } | {
+        oneofKind: "exercise";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.Exercise exercise = 4
+         */
+        exercise: Update_Exercise;
+    } | {
+        oneofKind: "exerciseByKey";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.ExerciseByKey exercise_by_key = 10
+         */
+        exerciseByKey: Update_ExerciseByKey;
+    } | {
+        oneofKind: "fetch";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.Fetch fetch = 5
+         */
+        fetch: Update_Fetch;
+    } | {
+        oneofKind: "getTime";
+        /**
+         * @generated from protobuf field: daml_lf_2.Unit get_time = 6
+         */
+        getTime: Unit;
+    } | {
+        oneofKind: "queryNByKey";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.QueryNByKey query_n_by_key = 16
+         */
+        queryNByKey: Update_QueryNByKey;
+    } | {
+        oneofKind: "fetchByKey";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.RetrieveByKey fetch_by_key = 9
+         */
+        fetchByKey: Update_RetrieveByKey;
+    } | {
+        oneofKind: "embedExpr";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.EmbedExpr embed_expr = 7
+         */
+        embedExpr: Update_EmbedExpr;
+    } | {
+        oneofKind: "tryCatch";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.TryCatch try_catch = 11
+         */
+        tryCatch: Update_TryCatch;
+    } | {
+        oneofKind: "createInterface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.CreateInterface create_interface = 12
+         */
+        createInterface: Update_CreateInterface;
+    } | {
+        oneofKind: "exerciseInterface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.ExerciseInterface exercise_interface = 13
+         */
+        exerciseInterface: Update_ExerciseInterface;
+    } | {
+        oneofKind: "fetchInterface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Update.FetchInterface fetch_interface = 14
+         */
+        fetchInterface: Update_FetchInterface;
+    } | {
+        oneofKind: "ledgerTimeLt";
+        /**
+         * @generated from protobuf field: daml_lf_2.Expr ledger_time_lt = 15
+         */
+        ledgerTimeLt: Expr;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * Create Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.Create
+ */
+export interface Update_Create {
+    /**
+     * Template type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+    /**
+     * Template argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Interface Create Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.CreateInterface
+ */
+export interface Update_CreateInterface {
+    /**
+     * Interface type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * Interface argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr expr = 2
+     */
+    expr?: Expr;
+}
+/**
+ * Exercise Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.Exercise
+ */
+export interface Update_Exercise {
+    /**
+     * Template type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 choice_interned_str = 6
+     */
+    choiceInternedStr: number;
+    /**
+     * contract id
+     *
+     * @generated from protobuf field: daml_lf_2.Expr cid = 3
+     */
+    cid?: Expr;
+    /**
+     * argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr arg = 5
+     */
+    arg?: Expr;
+}
+/**
+ * Interface Exercise Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.ExerciseInterface
+ */
+export interface Update_ExerciseInterface {
+    /**
+     * Interface type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * name of the exercised template choice
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 choice_interned_str = 2
+     */
+    choiceInternedStr: number;
+    /**
+     * contract id
+     *
+     * @generated from protobuf field: daml_lf_2.Expr cid = 3
+     */
+    cid?: Expr;
+    /**
+     * argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr arg = 4
+     */
+    arg?: Expr;
+    /**
+     * exercise guard (Interface -> Bool)
+     *
+     * @generated from protobuf field: daml_lf_2.Expr guard = 5
+     */
+    guard?: Expr;
+}
+/**
+ * ExerciseByKey Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.ExerciseByKey
+ */
+export interface Update_ExerciseByKey {
+    /**
+     * Template type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 choice_interned_str = 2
+     */
+    choiceInternedStr: number;
+    /**
+     * key
+     *
+     * @generated from protobuf field: daml_lf_2.Expr key = 3
+     */
+    key?: Expr;
+    /**
+     * argument
+     *
+     * @generated from protobuf field: daml_lf_2.Expr arg = 4
+     */
+    arg?: Expr;
+}
+/**
+ * Fetch Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.Fetch
+ */
+export interface Update_Fetch {
+    /**
+     * Template type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+    /**
+     * contract id
+     *
+     * @generated from protobuf field: daml_lf_2.Expr cid = 2
+     */
+    cid?: Expr;
+}
+/**
+ * Interface Fetch Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.FetchInterface
+ */
+export interface Update_FetchInterface {
+    /**
+     * Interface type
+     *
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * contract id
+     *
+     * @generated from protobuf field: daml_lf_2.Expr cid = 2
+     */
+    cid?: Expr;
+}
+/**
+ * Embedded Expression Update
+ *
+ * @generated from protobuf message daml_lf_2.Update.EmbedExpr
+ */
+export interface Update_EmbedExpr {
+    /**
+     * Expression type
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * Expression body
+     *
+     * @generated from protobuf field: daml_lf_2.Expr body = 2
+     */
+    body?: Expr;
+}
+/**
+ * Retrieve by key Update
+ * used for FetchByKey, named as such since pre-NUCk it used to also be used for LookupByKey
+ *
+ * @generated from protobuf message daml_lf_2.Update.RetrieveByKey
+ */
+export interface Update_RetrieveByKey {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+}
+/**
+ * @generated from protobuf message daml_lf_2.Update.QueryNByKey
+ */
+export interface Update_QueryNByKey {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId template = 1
+     */
+    template?: TypeConId;
+}
+/**
+ * Try-catch block.
+ *
+ * @generated from protobuf message daml_lf_2.Update.TryCatch
+ */
+export interface Update_TryCatch {
+    /**
+     * @generated from protobuf field: daml_lf_2.Type return_type = 1
+     */
+    returnType?: Type;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr try_expr = 2
+     */
+    tryExpr?: Expr;
+    /**
+     * Name of the bound expression variable.
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 var_interned_str = 3
+     */
+    varInternedStr: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr catch_expr = 4
+     */
+    catchExpr?: Expr;
+}
+/**
+ * Template choice definition.
+ *
+ * @generated from protobuf message daml_lf_2.TemplateChoice
+ */
+export interface TemplateChoice {
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 1
+     */
+    location?: Location;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 name_interned_str = 2
+     */
+    nameInternedStr: number;
+    /**
+     * Choice type
+     *
+     * @generated from protobuf field: bool consuming = 3
+     */
+    consuming: boolean;
+    /**
+     * The controllers of the choice. They have type `List Party` and the
+     * template parameter in scope, and the choice parameter. All of these
+     * controllers need to authorize the exercising of this choice (aka
+     * conjunctive choice controllers).
+     *
+     * @generated from protobuf field: daml_lf_2.Expr controllers = 4
+     */
+    controllers?: Expr;
+    /**
+     * The additional informees of the choice. They have type `List Party`.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr observers = 5
+     */
+    observers?: Expr;
+    /**
+     * Name to which the choice argument is bound and its type.
+     *
+     * @generated from protobuf field: daml_lf_2.VarWithType arg_binder = 6
+     */
+    argBinder?: VarWithType;
+    /**
+     * Return type of the choice.
+     *
+     * @generated from protobuf field: daml_lf_2.Type ret_type = 8
+     */
+    retType?: Type;
+    /**
+     * Follow-up update of the choice. It has type `Update <ret_type>` and both
+     * the template parameter and the choice parameter in scope.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr update = 9
+     */
+    update?: Expr;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 self_binder_interned_str = 10
+     */
+    selfBinderInternedStr: number;
+    /**
+     * The optional authorizers of the choice. When present they have type `List Party`.
+     * When missing, we assume the default value: template-signatories + choice-cotrollers.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr authorizers = 1001
+     */
+    authorizers?: Expr;
+}
+/**
+ * Contents of an interface instance.
+ *
+ * @generated from protobuf message daml_lf_2.InterfaceInstanceBody
+ */
+export interface InterfaceInstanceBody {
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.InterfaceInstanceBody.InterfaceInstanceMethod methods = 1
+     */
+    methods: InterfaceInstanceBody_InterfaceInstanceMethod[];
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr view = 2
+     */
+    view?: Expr;
+}
+/**
+ * @generated from protobuf message daml_lf_2.InterfaceInstanceBody.InterfaceInstanceMethod
+ */
+export interface InterfaceInstanceBody_InterfaceInstanceMethod {
+    /**
+     * @generated from protobuf field: int32 method_interned_name = 1
+     */
+    methodInternedName: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr value = 2
+     */
+    value?: Expr;
+}
+/**
+ * Contract template definition
+ *
+ * @generated from protobuf message daml_lf_2.DefTemplate
+ */
+export interface DefTemplate {
+    /**
+     * The type constructor for the template, acting as both
+     * the name of the template and the type of the template argument.
+     * *Must be a valid interned name*
+     *
+     * @generated from protobuf field: int32 tycon_interned_dname = 1
+     */
+    tyconInternedDname: number;
+    /**
+     * *Must be a valid interned identifier*
+     *
+     * @generated from protobuf field: int32 param_interned_str = 2
+     */
+    paramInternedStr: number;
+    /**
+     * Pre-condition that the template argument must satisfy.
+     * When present, it has type `Bool` and the template parameter in scope.
+     * *Optional*, interpreted as 'True' if undefined
+     *
+     * @generated from protobuf field: daml_lf_2.Expr precond = 3
+     */
+    precond?: Expr;
+    /**
+     * The signatories of the contract. They have type `List Party` and the
+     * template parameter in scope.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr signatories = 4
+     */
+    signatories?: Expr;
+    /**
+     * The choices available in the resulting contract.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.TemplateChoice choices = 6
+     */
+    choices: TemplateChoice[];
+    /**
+     * The observers of the contract. They have type `List Party` and the
+     * template parameter in scope.
+     *
+     * @generated from protobuf field: daml_lf_2.Expr observers = 7
+     */
+    observers?: Expr;
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 8
+     */
+    location?: Location;
+    /**
+     * The key definition for the template, if present
+     *
+     * @generated from protobuf field: daml_lf_2.DefTemplate.DefKey key = 9
+     */
+    key?: DefTemplate_DefKey;
+    /**
+     * Interface instances defined in this template.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.DefTemplate.Implements implements = 10
+     */
+    implements: DefTemplate_Implements[];
+}
+/**
+ * @generated from protobuf message daml_lf_2.DefTemplate.DefKey
+ */
+export interface DefTemplate_DefKey {
+    /**
+     * @generated from protobuf field: daml_lf_2.Type type = 1
+     */
+    type?: Type;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr key_expr = 4
+     */
+    keyExpr?: Expr;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr maintainers = 3
+     */
+    maintainers?: Expr;
+}
+/**
+ * An interface instance defined in this template.
+ *
+ * @generated from protobuf message daml_lf_2.DefTemplate.Implements
+ */
+export interface DefTemplate_Implements {
+    /**
+     * @generated from protobuf field: daml_lf_2.TypeConId interface = 1
+     */
+    interface?: TypeConId;
+    /**
+     * @generated from protobuf field: daml_lf_2.InterfaceInstanceBody body = 2
+     */
+    body?: InterfaceInstanceBody;
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 3
+     */
+    location?: Location;
+}
+/**
+ * Interface method definition.
+ * *Available in versions >= 1.15*
+ *
+ * @generated from protobuf message daml_lf_2.InterfaceMethod
+ */
+export interface InterfaceMethod {
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 1
+     */
+    location?: Location;
+    /**
+     * @generated from protobuf field: int32 method_interned_name = 2
+     */
+    methodInternedName: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.Type type = 3
+     */
+    type?: Type;
+}
+/**
+ * Interface definition.
+ * *Available in versions >= 1.15*
+ *
+ * @generated from protobuf message daml_lf_2.DefInterface
+ */
+export interface DefInterface {
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 1
+     */
+    location?: Location;
+    /**
+     * @generated from protobuf field: int32 tycon_interned_dname = 2
+     */
+    tyconInternedDname: number;
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.InterfaceMethod methods = 3
+     */
+    methods: InterfaceMethod[];
+    /**
+     * Binder for interface value ("this") in precond and fixed choices.
+     *
+     * @generated from protobuf field: int32 param_interned_str = 4
+     */
+    paramInternedStr: number;
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.TemplateChoice choices = 5
+     */
+    choices: TemplateChoice[];
+    /**
+     * View type for this interface
+     *
+     * @generated from protobuf field: daml_lf_2.Type view = 6
+     */
+    view?: Type;
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.TypeConId requires = 7
+     */
+    requires: TypeConId[];
+}
+/**
+ * Exception definition
+ *
+ * @generated from protobuf message daml_lf_2.DefException
+ */
+export interface DefException {
+    /**
+     * *Must be a valid interned dotted name*
+     *
+     * @generated from protobuf field: int32 name_interned_dname = 1
+     */
+    nameInternedDname: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 2
+     */
+    location?: Location;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr message = 3
+     */
+    message?: Expr;
+}
+/**
+ * Data type definition
+ *
+ * @generated from protobuf message daml_lf_2.DefDataType
+ */
+export interface DefDataType {
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 1
+     */
+    location?: Location;
+    /**
+     * name of the defined data type
+     * *Must be a valid interned name*
+     *
+     * @generated from protobuf field: int32 name_interned_dname = 2
+     */
+    nameInternedDname: number;
+    /**
+     * type parameters
+     * *Must be empty if enum field is set*
+     *
+     * @generated from protobuf field: repeated daml_lf_2.TypeVarWithKind params = 3
+     */
+    params: TypeVarWithKind[];
+    /**
+     * If true, this data type preserves serializability in the sense that when
+     * all parameters are instantiated with serializable types (of kind '*'),
+     * then the resulting type is serializable as well.
+     * This flag is used to simplify package validation by not requiring an
+     * inference but only a check. Such a check must validate that this flag is
+     * set correctly and that template and choice argument and result types
+     * have this flag set to true.
+     *
+     * @generated from protobuf field: bool serializable = 4
+     */
+    serializable: boolean;
+    /**
+     * @generated from protobuf oneof: DataCons
+     */
+    dataCons: {
+        oneofKind: "record";
+        /**
+         * @generated from protobuf field: daml_lf_2.DefDataType.Fields record = 5
+         */
+        record: DefDataType_Fields;
+    } | {
+        oneofKind: "variant";
+        /**
+         * @generated from protobuf field: daml_lf_2.DefDataType.Fields variant = 6
+         */
+        variant: DefDataType_Fields;
+    } | {
+        oneofKind: "enum";
+        /**
+         * @generated from protobuf field: daml_lf_2.DefDataType.EnumConstructors enum = 7
+         */
+        enum: DefDataType_EnumConstructors;
+    } | {
+        oneofKind: "interface";
+        /**
+         * @generated from protobuf field: daml_lf_2.Unit interface = 8
+         */
+        interface: Unit;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * @generated from protobuf message daml_lf_2.DefDataType.Fields
+ */
+export interface DefDataType_Fields {
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.FieldWithType fields = 1
+     */
+    fields: FieldWithType[];
+}
+/**
+ * @generated from protobuf message daml_lf_2.DefDataType.EnumConstructors
+ */
+export interface DefDataType_EnumConstructors {
+    /**
+     * *Must be a list of valid interned identifiers*
+     *
+     * @generated from protobuf field: repeated int32 constructors_interned_str = 2
+     */
+    constructorsInternedStr: number[];
+}
+/**
+ * Type synonym definition
+ * *Available in versions >= 1.8*
+ *
+ * @generated from protobuf message daml_lf_2.DefTypeSyn
+ */
+export interface DefTypeSyn {
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 1
+     */
+    location?: Location;
+    /**
+     * name of the defined type synonym
+     * *Must be a valid interned name*
+     *
+     * @generated from protobuf field: int32 name_interned_dname = 2
+     */
+    nameInternedDname: number;
+    /**
+     * type parameters
+     *
+     * @generated from protobuf field: repeated daml_lf_2.TypeVarWithKind params = 3
+     */
+    params: TypeVarWithKind[];
+    /**
+     * @generated from protobuf field: daml_lf_2.Type type = 4
+     */
+    type?: Type;
+}
+/**
+ * Value definition
+ *
+ * @generated from protobuf message daml_lf_2.DefValue
+ */
+export interface DefValue {
+    /**
+     * @generated from protobuf field: daml_lf_2.Location location = 1
+     */
+    location?: Location;
+    /**
+     * @generated from protobuf field: daml_lf_2.DefValue.NameWithType name_with_type = 2
+     */
+    nameWithType?: DefValue_NameWithType;
+    /**
+     * @generated from protobuf field: daml_lf_2.Expr expr = 3
+     */
+    expr?: Expr;
+}
+/**
+ * The reason why we have this type instead of just flattening name
+ * and type in DefValue is that it was VarWithType before, and we
+ * want to be binary-compatible with it.
+ *
+ * @generated from protobuf message daml_lf_2.DefValue.NameWithType
+ */
+export interface DefValue_NameWithType {
+    /**
+     * *Must be a valid interned name*
+     *
+     * @generated from protobuf field: int32 name_interned_dname = 1
+     */
+    nameInternedDname: number;
+    /**
+     * Type of the value
+     *
+     * @generated from protobuf field: daml_lf_2.Type type = 2
+     */
+    type?: Type;
+}
+/**
+ * @generated from protobuf message daml_lf_2.FeatureFlags
+ */
+export interface FeatureFlags {
+    /**
+     * @generated from protobuf field: bool forbidPartyLiterals = 1
+     */
+    forbidPartyLiterals: boolean;
+    /**
+     * @generated from protobuf field: bool dontDivulgeContractIdsInCreateArguments = 2
+     */
+    dontDivulgeContractIdsInCreateArguments: boolean;
+    /**
+     * @generated from protobuf field: bool dontDiscloseNonConsumingChoicesToObservers = 3
+     */
+    dontDiscloseNonConsumingChoicesToObservers: boolean;
+}
+/**
+ * @generated from protobuf message daml_lf_2.Module
+ */
+export interface Module {
+    /**
+     * @generated from protobuf field: int32 name_interned_dname = 1
+     */
+    nameInternedDname: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.FeatureFlags flags = 2
+     */
+    flags?: FeatureFlags;
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.DefTypeSyn synonyms = 3
+     */
+    synonyms: DefTypeSyn[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.DefDataType data_types = 4
+     */
+    dataTypes: DefDataType[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.DefValue values = 5
+     */
+    values: DefValue[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.DefTemplate templates = 6
+     */
+    templates: DefTemplate[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.DefException exceptions = 7
+     */
+    exceptions: DefException[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.DefInterface interfaces = 8
+     */
+    interfaces: DefInterface[];
+}
+/**
+ * @generated from protobuf message daml_lf_2.InternedDottedName
+ */
+export interface InternedDottedName {
+    /**
+     * @generated from protobuf field: repeated int32 segments_interned_str = 1
+     */
+    segmentsInternedStr: number[];
+}
+/**
+ * @generated from protobuf message daml_lf_2.UpgradedPackageId
+ */
+export interface UpgradedPackageId {
+    /**
+     * @generated from protobuf field: int32 upgraded_package_id_interned_str = 1
+     */
+    upgradedPackageIdInternedStr: number;
+}
+/**
+ * @generated from protobuf message daml_lf_2.PackageMetadata
+ */
+export interface PackageMetadata {
+    /**
+     * @generated from protobuf field: int32 name_interned_str = 1
+     */
+    nameInternedStr: number;
+    /**
+     * @generated from protobuf field: int32 version_interned_str = 2
+     */
+    versionInternedStr: number;
+    /**
+     * @generated from protobuf field: daml_lf_2.UpgradedPackageId upgraded_package_id = 3
+     */
+    upgradedPackageId?: UpgradedPackageId;
+}
+/**
+ * @generated from protobuf message daml_lf_2.PackageImports
+ */
+export interface PackageImports {
+    /**
+     * @generated from protobuf field: repeated string imported_packages = 1
+     */
+    importedPackages: string[];
+}
+/**
+ * @generated from protobuf message daml_lf_2.Package
+ */
+export interface Package {
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.Module modules = 1
+     */
+    modules: Module[];
+    /**
+     * @generated from protobuf field: repeated string interned_strings = 2
+     */
+    internedStrings: string[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.InternedDottedName interned_dotted_names = 3
+     */
+    internedDottedNames: InternedDottedName[];
+    /**
+     * @generated from protobuf field: daml_lf_2.PackageMetadata metadata = 4
+     */
+    metadata?: PackageMetadata;
+    /**
+     * Types in the interning table are only allowed to refer to interned types
+     * at smaller indices.
+     *
+     * @generated from protobuf field: repeated daml_lf_2.Type interned_types = 5
+     */
+    internedTypes: Type[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.Kind interned_kinds = 6
+     */
+    internedKinds: Kind[];
+    /**
+     * @generated from protobuf field: repeated daml_lf_2.Expr interned_exprs = 7
+     */
+    internedExprs: Expr[];
+    /**
+     * @generated from protobuf oneof: ImportsSum
+     */
+    importsSum: {
+        oneofKind: "noImportedPackagesReason";
+        /**
+         * @generated from protobuf field: string no_imported_packages_reason = 8
+         */
+        noImportedPackagesReason: string;
+    } | {
+        oneofKind: "packageImports";
+        /**
+         * @generated from protobuf field: daml_lf_2.PackageImports package_imports = 9
+         */
+        packageImports: PackageImports;
+    } | {
+        oneofKind: undefined;
+    };
+}
+/**
+ * Builtin types
+ *
+ * @generated from protobuf enum daml_lf_2.BuiltinType
+ */
+export declare enum BuiltinType {
+    /**
+     * Builtin type 'Unit'
+     *
+     * @generated from protobuf enum value: UNIT = 0;
+     */
+    UNIT = 0,
+    /**
+     * Builtin type 'Bool'
+     *
+     * @generated from protobuf enum value: BOOL = 1;
+     */
+    BOOL = 1,
+    /**
+     * Builtin type 'Int64'
+     *
+     * @generated from protobuf enum value: INT64 = 2;
+     */
+    INT64 = 2,
+    /**
+     * Builtin type 'Date'
+     *
+     * @generated from protobuf enum value: DATE = 3;
+     */
+    DATE = 3,
+    /**
+     * Builtin type 'Timestamp'
+     *
+     * @generated from protobuf enum value: TIMESTAMP = 4;
+     */
+    TIMESTAMP = 4,
+    /**
+     * Builtin type 'Numeric'
+     *
+     * @generated from protobuf enum value: NUMERIC = 5;
+     */
+    NUMERIC = 5,
+    /**
+     * Builtin tpe 'Party'
+     *
+     * @generated from protobuf enum value: PARTY = 6;
+     */
+    PARTY = 6,
+    /**
+     * Builtin type 'Text'
+     *
+     * @generated from protobuf enum value: TEXT = 7;
+     */
+    TEXT = 7,
+    /**
+     * Builtin type 'ContractId'
+     *
+     * @generated from protobuf enum value: CONTRACT_ID = 8;
+     */
+    CONTRACT_ID = 8,
+    /**
+     * Builtin type 'Optional'
+     *
+     * @generated from protobuf enum value: OPTIONAL = 9;
+     */
+    OPTIONAL = 9,
+    /**
+     * Builtin type 'List'
+     *
+     * @generated from protobuf enum value: LIST = 10;
+     */
+    LIST = 10,
+    /**
+     * Builtin type 'TGenMap`
+     *
+     * @generated from protobuf enum value: GENMAP = 11;
+     */
+    GENMAP = 11,
+    /**
+     * Builtin type 'Any'
+     *
+     * @generated from protobuf enum value: ANY = 13;
+     */
+    ANY = 13,
+    /**
+     * Builtin type 'TAnyException'
+     *
+     * @generated from protobuf enum value: ANY_EXCEPTION = 14;
+     */
+    ANY_EXCEPTION = 14,
+    /**
+     * Builtin type 'TypeRep'
+     *
+     * @generated from protobuf enum value: TYPE_REP = 15;
+     */
+    TYPE_REP = 15,
+    /**
+     * Builtin type `TArrow`
+     *
+     * @generated from protobuf enum value: ARROW = 16;
+     */
+    ARROW = 16,
+    /**
+     * Builtin type 'Update'
+     *
+     * @generated from protobuf enum value: UPDATE = 17;
+     */
+    UPDATE = 17,
+    /**
+     * Builtin type for FailureCategory
+     *
+     * @generated from protobuf enum value: FAILURE_CATEGORY = 18;
+     */
+    FAILURE_CATEGORY = 18,
+    /**
+     * Builtin type 'TTextMap`
+     *
+     * @generated from protobuf enum value: TEXTMAP = 19;
+     */
+    TEXTMAP = 19,
+    /**
+     * We use fields above 1000 for dev features
+     * Builtin type 'TBigNumeric'
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: BIGNUMERIC = 1002;
+     */
+    BIGNUMERIC = 1002,
+    /**
+     * Builtin type 'TRoundingMode'
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: ROUNDING_MODE = 1003;
+     */
+    ROUNDING_MODE = 1003
+}
+/**
+ * Builtin constructors
+ *
+ * @generated from protobuf enum daml_lf_2.BuiltinCon
+ */
+export declare enum BuiltinCon {
+    /**
+     * Unit value '()'
+     *
+     * @generated from protobuf enum value: CON_UNIT = 0;
+     */
+    CON_UNIT = 0,
+    /**
+     * 'False' boolean value
+     *
+     * @generated from protobuf enum value: CON_FALSE = 1;
+     */
+    CON_FALSE = 1,
+    /**
+     * 'True' boolean value
+     *
+     * @generated from protobuf enum value: CON_TRUE = 2;
+     */
+    CON_TRUE = 2
+}
+/**
+ * Builtin functions
+ * Refer to Daml-LF major version 1 specification for types and behavior of those.
+ *
+ * @generated from protobuf enum daml_lf_2.BuiltinFunction
+ */
+export declare enum BuiltinFunction {
+    /**
+     * @generated from protobuf enum value: TRACE = 0;
+     */
+    TRACE = 0,
+    /**
+     * @generated from protobuf enum value: ERROR = 1;
+     */
+    ERROR = 1,
+    /**
+     * @generated from protobuf enum value: EQUAL = 2;
+     */
+    EQUAL = 2,
+    /**
+     * @generated from protobuf enum value: LESS_EQ = 3;
+     */
+    LESS_EQ = 3,
+    /**
+     * @generated from protobuf enum value: LESS = 4;
+     */
+    LESS = 4,
+    /**
+     * @generated from protobuf enum value: GREATER_EQ = 5;
+     */
+    GREATER_EQ = 5,
+    /**
+     * @generated from protobuf enum value: GREATER = 6;
+     */
+    GREATER = 6,
+    /**
+     * @generated from protobuf enum value: ADD_INT64 = 7;
+     */
+    ADD_INT64 = 7,
+    /**
+     * @generated from protobuf enum value: SUB_INT64 = 8;
+     */
+    SUB_INT64 = 8,
+    /**
+     * @generated from protobuf enum value: MUL_INT64 = 9;
+     */
+    MUL_INT64 = 9,
+    /**
+     * @generated from protobuf enum value: DIV_INT64 = 10;
+     */
+    DIV_INT64 = 10,
+    /**
+     * @generated from protobuf enum value: MOD_INT64 = 11;
+     */
+    MOD_INT64 = 11,
+    /**
+     * @generated from protobuf enum value: EXP_INT64 = 12;
+     */
+    EXP_INT64 = 12,
+    /**
+     * @generated from protobuf enum value: ADD_NUMERIC = 13;
+     */
+    ADD_NUMERIC = 13,
+    /**
+     * @generated from protobuf enum value: SUB_NUMERIC = 14;
+     */
+    SUB_NUMERIC = 14,
+    /**
+     * @generated from protobuf enum value: MUL_NUMERIC = 15;
+     */
+    MUL_NUMERIC = 15,
+    /**
+     * @generated from protobuf enum value: DIV_NUMERIC = 16;
+     */
+    DIV_NUMERIC = 16,
+    /**
+     * @generated from protobuf enum value: ROUND_NUMERIC = 17;
+     */
+    ROUND_NUMERIC = 17,
+    /**
+     * @generated from protobuf enum value: CAST_NUMERIC = 18;
+     */
+    CAST_NUMERIC = 18,
+    /**
+     * @generated from protobuf enum value: SHIFT_NUMERIC = 19;
+     */
+    SHIFT_NUMERIC = 19,
+    /**
+     * @generated from protobuf enum value: INT64_TO_NUMERIC = 20;
+     */
+    INT64_TO_NUMERIC = 20,
+    /**
+     * @generated from protobuf enum value: NUMERIC_TO_INT64 = 21;
+     */
+    NUMERIC_TO_INT64 = 21,
+    /**
+     * @generated from protobuf enum value: INT64_TO_TEXT = 22;
+     */
+    INT64_TO_TEXT = 22,
+    /**
+     * @generated from protobuf enum value: NUMERIC_TO_TEXT = 23;
+     */
+    NUMERIC_TO_TEXT = 23,
+    /**
+     * @generated from protobuf enum value: TIMESTAMP_TO_TEXT = 25;
+     */
+    TIMESTAMP_TO_TEXT = 25,
+    /**
+     * @generated from protobuf enum value: DATE_TO_TEXT = 26;
+     */
+    DATE_TO_TEXT = 26,
+    /**
+     * @generated from protobuf enum value: PARTY_TO_TEXT = 27;
+     */
+    PARTY_TO_TEXT = 27,
+    /**
+     * @generated from protobuf enum value: TEXT_TO_PARTY = 28;
+     */
+    TEXT_TO_PARTY = 28,
+    /**
+     * @generated from protobuf enum value: TEXT_TO_INT64 = 29;
+     */
+    TEXT_TO_INT64 = 29,
+    /**
+     * @generated from protobuf enum value: TEXT_TO_NUMERIC = 30;
+     */
+    TEXT_TO_NUMERIC = 30,
+    /**
+     * @generated from protobuf enum value: CONTRACT_ID_TO_TEXT = 31;
+     */
+    CONTRACT_ID_TO_TEXT = 31,
+    /**
+     * @generated from protobuf enum value: SHA256_TEXT = 32;
+     */
+    SHA256_TEXT = 32,
+    /**
+     * @generated from protobuf enum value: EXPLODE_TEXT = 33;
+     */
+    EXPLODE_TEXT = 33,
+    /**
+     * @generated from protobuf enum value: APPEND_TEXT = 34;
+     */
+    APPEND_TEXT = 34,
+    /**
+     * @generated from protobuf enum value: IMPLODE_TEXT = 35;
+     */
+    IMPLODE_TEXT = 35,
+    /**
+     * @generated from protobuf enum value: CODE_POINTS_TO_TEXT = 36;
+     */
+    CODE_POINTS_TO_TEXT = 36,
+    /**
+     * @generated from protobuf enum value: TEXT_TO_CODE_POINTS = 37;
+     */
+    TEXT_TO_CODE_POINTS = 37,
+    /**
+     * @generated from protobuf enum value: DATE_TO_UNIX_DAYS = 38;
+     */
+    DATE_TO_UNIX_DAYS = 38,
+    /**
+     * @generated from protobuf enum value: UNIX_DAYS_TO_DATE = 39;
+     */
+    UNIX_DAYS_TO_DATE = 39,
+    /**
+     * @generated from protobuf enum value: TIMESTAMP_TO_UNIX_MICROSECONDS = 40;
+     */
+    TIMESTAMP_TO_UNIX_MICROSECONDS = 40,
+    /**
+     * @generated from protobuf enum value: UNIX_MICROSECONDS_TO_TIMESTAMP = 41;
+     */
+    UNIX_MICROSECONDS_TO_TIMESTAMP = 41,
+    /**
+     * @generated from protobuf enum value: COERCE_CONTRACT_ID = 42;
+     */
+    COERCE_CONTRACT_ID = 42,
+    /**
+     * @generated from protobuf enum value: FOLDL = 43;
+     */
+    FOLDL = 43,
+    /**
+     * @generated from protobuf enum value: FOLDR = 44;
+     */
+    FOLDR = 44,
+    /**
+     * @generated from protobuf enum value: EQUAL_LIST = 45;
+     */
+    EQUAL_LIST = 45,
+    /**
+     * @generated from protobuf enum value: GENMAP_EMPTY = 52;
+     */
+    GENMAP_EMPTY = 52,
+    /**
+     * @generated from protobuf enum value: GENMAP_INSERT = 53;
+     */
+    GENMAP_INSERT = 53,
+    /**
+     * @generated from protobuf enum value: GENMAP_LOOKUP = 54;
+     */
+    GENMAP_LOOKUP = 54,
+    /**
+     * @generated from protobuf enum value: GENMAP_DELETE = 55;
+     */
+    GENMAP_DELETE = 55,
+    /**
+     * @generated from protobuf enum value: GENMAP_KEYS = 56;
+     */
+    GENMAP_KEYS = 56,
+    /**
+     * @generated from protobuf enum value: GENMAP_VALUES = 57;
+     */
+    GENMAP_VALUES = 57,
+    /**
+     * @generated from protobuf enum value: GENMAP_SIZE = 58;
+     */
+    GENMAP_SIZE = 58,
+    /**
+     * @generated from protobuf enum value: TEXTMAP_EMPTY = 60;
+     */
+    TEXTMAP_EMPTY = 60,
+    /**
+     * @generated from protobuf enum value: TEXTMAP_INSERT = 61;
+     */
+    TEXTMAP_INSERT = 61,
+    /**
+     * @generated from protobuf enum value: TEXTMAP_LOOKUP = 62;
+     */
+    TEXTMAP_LOOKUP = 62,
+    /**
+     * @generated from protobuf enum value: TEXTMAP_DELETE = 63;
+     */
+    TEXTMAP_DELETE = 63,
+    /**
+     * @generated from protobuf enum value: TEXTMAP_TO_LIST = 64;
+     */
+    TEXTMAP_TO_LIST = 64,
+    /**
+     * @generated from protobuf enum value: TEXTMAP_SIZE = 65;
+     */
+    TEXTMAP_SIZE = 65,
+    /**
+     * @generated from protobuf enum value: ANY_EXCEPTION_MESSAGE = 59;
+     */
+    ANY_EXCEPTION_MESSAGE = 59,
+    /**
+     * @generated from protobuf enum value: FAIL_WITH_STATUS = 66;
+     */
+    FAIL_WITH_STATUS = 66,
+    /**
+     * @generated from protobuf enum value: KECCAK256_TEXT = 67;
+     */
+    KECCAK256_TEXT = 67,
+    /**
+     * @generated from protobuf enum value: SECP256K1_BOOL = 68;
+     */
+    SECP256K1_BOOL = 68,
+    /**
+     * @generated from protobuf enum value: HEX_TO_TEXT = 69;
+     */
+    HEX_TO_TEXT = 69,
+    /**
+     * @generated from protobuf enum value: TEXT_TO_HEX = 70;
+     */
+    TEXT_TO_HEX = 70,
+    /**
+     * @generated from protobuf enum value: SHA256_HEX = 71;
+     */
+    SHA256_HEX = 71,
+    /**
+     * @generated from protobuf enum value: SECP256K1_WITH_ECDSA_BOOL = 72;
+     */
+    SECP256K1_WITH_ECDSA_BOOL = 72,
+    /**
+     * *Available in versions >= 2.3
+     *
+     * @generated from protobuf enum value: SECP256K1_VALIDATE_KEY = 73;
+     */
+    SECP256K1_VALIDATE_KEY = 73,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: SCALE_BIGNUMERIC = 2001;
+     */
+    SCALE_BIGNUMERIC = 2001,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: PRECISION_BIGNUMERIC = 2002;
+     */
+    PRECISION_BIGNUMERIC = 2002,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: ADD_BIGNUMERIC = 2003;
+     */
+    ADD_BIGNUMERIC = 2003,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: SUB_BIGNUMERIC = 2004;
+     */
+    SUB_BIGNUMERIC = 2004,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: MUL_BIGNUMERIC = 2005;
+     */
+    MUL_BIGNUMERIC = 2005,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: DIV_BIGNUMERIC = 2006;
+     */
+    DIV_BIGNUMERIC = 2006,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: SHIFT_RIGHT_BIGNUMERIC = 2007;
+     */
+    SHIFT_RIGHT_BIGNUMERIC = 2007,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: BIGNUMERIC_TO_NUMERIC = 2008;
+     */
+    BIGNUMERIC_TO_NUMERIC = 2008,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: NUMERIC_TO_BIGNUMERIC = 2009;
+     */
+    NUMERIC_TO_BIGNUMERIC = 2009,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: BIGNUMERIC_TO_TEXT = 2010;
+     */
+    BIGNUMERIC_TO_TEXT = 2010,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: TYPE_REP_TYCON_NAME = 3011;
+     */
+    TYPE_REP_TYCON_NAME = 3011,
+    /**
+     * *Available in versions >= 2.dev*
+     *
+     * @generated from protobuf enum value: EXTERNAL_CALL = 5001;
+     */
+    EXTERNAL_CALL = 5001
+}
+declare class Unit$Type extends MessageType<Unit> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Unit
+ */
+export declare const Unit: Unit$Type;
+declare class SelfOrImportedPackageId$Type extends MessageType<SelfOrImportedPackageId> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.SelfOrImportedPackageId
+ */
+export declare const SelfOrImportedPackageId: SelfOrImportedPackageId$Type;
+declare class ModuleId$Type extends MessageType<ModuleId> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.ModuleId
+ */
+export declare const ModuleId: ModuleId$Type;
+declare class TypeConId$Type extends MessageType<TypeConId> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.TypeConId
+ */
+export declare const TypeConId: TypeConId$Type;
+declare class TypeSynId$Type extends MessageType<TypeSynId> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.TypeSynId
+ */
+export declare const TypeSynId: TypeSynId$Type;
+declare class ValueId$Type extends MessageType<ValueId> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.ValueId
+ */
+export declare const ValueId: ValueId$Type;
+declare class FieldWithType$Type extends MessageType<FieldWithType> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.FieldWithType
+ */
+export declare const FieldWithType: FieldWithType$Type;
+declare class VarWithType$Type extends MessageType<VarWithType> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.VarWithType
+ */
+export declare const VarWithType: VarWithType$Type;
+declare class TypeVarWithKind$Type extends MessageType<TypeVarWithKind> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.TypeVarWithKind
+ */
+export declare const TypeVarWithKind: TypeVarWithKind$Type;
+declare class FieldWithExpr$Type extends MessageType<FieldWithExpr> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.FieldWithExpr
+ */
+export declare const FieldWithExpr: FieldWithExpr$Type;
+declare class Binding$Type extends MessageType<Binding> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Binding
+ */
+export declare const Binding: Binding$Type;
+declare class Kind$Type extends MessageType<Kind> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Kind
+ */
+export declare const Kind: Kind$Type;
+declare class Kind_Arrow$Type extends MessageType<Kind_Arrow> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Kind.Arrow
+ */
+export declare const Kind_Arrow: Kind_Arrow$Type;
+declare class Type$Type extends MessageType<Type> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type
+ */
+export declare const Type: Type$Type;
+declare class Type_Var$Type extends MessageType<Type_Var> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type.Var
+ */
+export declare const Type_Var: Type_Var$Type;
+declare class Type_Con$Type extends MessageType<Type_Con> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type.Con
+ */
+export declare const Type_Con: Type_Con$Type;
+declare class Type_Syn$Type extends MessageType<Type_Syn> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type.Syn
+ */
+export declare const Type_Syn: Type_Syn$Type;
+declare class Type_Builtin$Type extends MessageType<Type_Builtin> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type.Builtin
+ */
+export declare const Type_Builtin: Type_Builtin$Type;
+declare class Type_Forall$Type extends MessageType<Type_Forall> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type.Forall
+ */
+export declare const Type_Forall: Type_Forall$Type;
+declare class Type_Struct$Type extends MessageType<Type_Struct> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type.Struct
+ */
+export declare const Type_Struct: Type_Struct$Type;
+declare class Type_TApp$Type extends MessageType<Type_TApp> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Type.TApp
+ */
+export declare const Type_TApp: Type_TApp$Type;
+declare class BuiltinLit$Type extends MessageType<BuiltinLit> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.BuiltinLit
+ */
+export declare const BuiltinLit: BuiltinLit$Type;
+declare class Location$Type extends MessageType<Location> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Location
+ */
+export declare const Location: Location$Type;
+declare class Location_Range$Type extends MessageType<Location_Range> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Location.Range
+ */
+export declare const Location_Range: Location_Range$Type;
+declare class Expr$Type extends MessageType<Expr> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr
+ */
+export declare const Expr: Expr$Type;
+declare class Expr_RecCon$Type extends MessageType<Expr_RecCon> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.RecCon
+ */
+export declare const Expr_RecCon: Expr_RecCon$Type;
+declare class Expr_RecProj$Type extends MessageType<Expr_RecProj> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.RecProj
+ */
+export declare const Expr_RecProj: Expr_RecProj$Type;
+declare class Expr_RecUpd$Type extends MessageType<Expr_RecUpd> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.RecUpd
+ */
+export declare const Expr_RecUpd: Expr_RecUpd$Type;
+declare class Expr_VariantCon$Type extends MessageType<Expr_VariantCon> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.VariantCon
+ */
+export declare const Expr_VariantCon: Expr_VariantCon$Type;
+declare class Expr_EnumCon$Type extends MessageType<Expr_EnumCon> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.EnumCon
+ */
+export declare const Expr_EnumCon: Expr_EnumCon$Type;
+declare class Expr_StructCon$Type extends MessageType<Expr_StructCon> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.StructCon
+ */
+export declare const Expr_StructCon: Expr_StructCon$Type;
+declare class Expr_StructProj$Type extends MessageType<Expr_StructProj> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.StructProj
+ */
+export declare const Expr_StructProj: Expr_StructProj$Type;
+declare class Expr_StructUpd$Type extends MessageType<Expr_StructUpd> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.StructUpd
+ */
+export declare const Expr_StructUpd: Expr_StructUpd$Type;
+declare class Expr_App$Type extends MessageType<Expr_App> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.App
+ */
+export declare const Expr_App: Expr_App$Type;
+declare class Expr_TyApp$Type extends MessageType<Expr_TyApp> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.TyApp
+ */
+export declare const Expr_TyApp: Expr_TyApp$Type;
+declare class Expr_Abs$Type extends MessageType<Expr_Abs> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.Abs
+ */
+export declare const Expr_Abs: Expr_Abs$Type;
+declare class Expr_TyAbs$Type extends MessageType<Expr_TyAbs> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.TyAbs
+ */
+export declare const Expr_TyAbs: Expr_TyAbs$Type;
+declare class Expr_Nil$Type extends MessageType<Expr_Nil> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.Nil
+ */
+export declare const Expr_Nil: Expr_Nil$Type;
+declare class Expr_Cons$Type extends MessageType<Expr_Cons> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.Cons
+ */
+export declare const Expr_Cons: Expr_Cons$Type;
+declare class Expr_OptionalNone$Type extends MessageType<Expr_OptionalNone> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.OptionalNone
+ */
+export declare const Expr_OptionalNone: Expr_OptionalNone$Type;
+declare class Expr_OptionalSome$Type extends MessageType<Expr_OptionalSome> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.OptionalSome
+ */
+export declare const Expr_OptionalSome: Expr_OptionalSome$Type;
+declare class Expr_ToAny$Type extends MessageType<Expr_ToAny> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ToAny
+ */
+export declare const Expr_ToAny: Expr_ToAny$Type;
+declare class Expr_FromAny$Type extends MessageType<Expr_FromAny> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.FromAny
+ */
+export declare const Expr_FromAny: Expr_FromAny$Type;
+declare class Expr_ToAnyException$Type extends MessageType<Expr_ToAnyException> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ToAnyException
+ */
+export declare const Expr_ToAnyException: Expr_ToAnyException$Type;
+declare class Expr_FromAnyException$Type extends MessageType<Expr_FromAnyException> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.FromAnyException
+ */
+export declare const Expr_FromAnyException: Expr_FromAnyException$Type;
+declare class Expr_Throw$Type extends MessageType<Expr_Throw> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.Throw
+ */
+export declare const Expr_Throw: Expr_Throw$Type;
+declare class Expr_ToInterface$Type extends MessageType<Expr_ToInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ToInterface
+ */
+export declare const Expr_ToInterface: Expr_ToInterface$Type;
+declare class Expr_FromInterface$Type extends MessageType<Expr_FromInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.FromInterface
+ */
+export declare const Expr_FromInterface: Expr_FromInterface$Type;
+declare class Expr_CallInterface$Type extends MessageType<Expr_CallInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.CallInterface
+ */
+export declare const Expr_CallInterface: Expr_CallInterface$Type;
+declare class Expr_ViewInterface$Type extends MessageType<Expr_ViewInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ViewInterface
+ */
+export declare const Expr_ViewInterface: Expr_ViewInterface$Type;
+declare class Expr_SignatoryInterface$Type extends MessageType<Expr_SignatoryInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.SignatoryInterface
+ */
+export declare const Expr_SignatoryInterface: Expr_SignatoryInterface$Type;
+declare class Expr_ObserverInterface$Type extends MessageType<Expr_ObserverInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ObserverInterface
+ */
+export declare const Expr_ObserverInterface: Expr_ObserverInterface$Type;
+declare class Expr_UnsafeFromInterface$Type extends MessageType<Expr_UnsafeFromInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.UnsafeFromInterface
+ */
+export declare const Expr_UnsafeFromInterface: Expr_UnsafeFromInterface$Type;
+declare class Expr_ToRequiredInterface$Type extends MessageType<Expr_ToRequiredInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ToRequiredInterface
+ */
+export declare const Expr_ToRequiredInterface: Expr_ToRequiredInterface$Type;
+declare class Expr_FromRequiredInterface$Type extends MessageType<Expr_FromRequiredInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.FromRequiredInterface
+ */
+export declare const Expr_FromRequiredInterface: Expr_FromRequiredInterface$Type;
+declare class Expr_UnsafeFromRequiredInterface$Type extends MessageType<Expr_UnsafeFromRequiredInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.UnsafeFromRequiredInterface
+ */
+export declare const Expr_UnsafeFromRequiredInterface: Expr_UnsafeFromRequiredInterface$Type;
+declare class Expr_InterfaceTemplateTypeRep$Type extends MessageType<Expr_InterfaceTemplateTypeRep> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.InterfaceTemplateTypeRep
+ */
+export declare const Expr_InterfaceTemplateTypeRep: Expr_InterfaceTemplateTypeRep$Type;
+declare class Expr_ChoiceController$Type extends MessageType<Expr_ChoiceController> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ChoiceController
+ */
+export declare const Expr_ChoiceController: Expr_ChoiceController$Type;
+declare class Expr_ChoiceObserver$Type extends MessageType<Expr_ChoiceObserver> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.ChoiceObserver
+ */
+export declare const Expr_ChoiceObserver: Expr_ChoiceObserver$Type;
+declare class Expr_Experimental$Type extends MessageType<Expr_Experimental> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Expr.Experimental
+ */
+export declare const Expr_Experimental: Expr_Experimental$Type;
+declare class CaseAlt$Type extends MessageType<CaseAlt> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.CaseAlt
+ */
+export declare const CaseAlt: CaseAlt$Type;
+declare class CaseAlt_Variant$Type extends MessageType<CaseAlt_Variant> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.CaseAlt.Variant
+ */
+export declare const CaseAlt_Variant: CaseAlt_Variant$Type;
+declare class CaseAlt_Enum$Type extends MessageType<CaseAlt_Enum> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.CaseAlt.Enum
+ */
+export declare const CaseAlt_Enum: CaseAlt_Enum$Type;
+declare class CaseAlt_Cons$Type extends MessageType<CaseAlt_Cons> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.CaseAlt.Cons
+ */
+export declare const CaseAlt_Cons: CaseAlt_Cons$Type;
+declare class CaseAlt_OptionalSome$Type extends MessageType<CaseAlt_OptionalSome> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.CaseAlt.OptionalSome
+ */
+export declare const CaseAlt_OptionalSome: CaseAlt_OptionalSome$Type;
+declare class Case$Type extends MessageType<Case> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Case
+ */
+export declare const Case: Case$Type;
+declare class Block$Type extends MessageType<Block> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Block
+ */
+export declare const Block: Block$Type;
+declare class Pure$Type extends MessageType<Pure> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Pure
+ */
+export declare const Pure: Pure$Type;
+declare class Update$Type extends MessageType<Update> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update
+ */
+export declare const Update: Update$Type;
+declare class Update_Create$Type extends MessageType<Update_Create> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.Create
+ */
+export declare const Update_Create: Update_Create$Type;
+declare class Update_CreateInterface$Type extends MessageType<Update_CreateInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.CreateInterface
+ */
+export declare const Update_CreateInterface: Update_CreateInterface$Type;
+declare class Update_Exercise$Type extends MessageType<Update_Exercise> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.Exercise
+ */
+export declare const Update_Exercise: Update_Exercise$Type;
+declare class Update_ExerciseInterface$Type extends MessageType<Update_ExerciseInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.ExerciseInterface
+ */
+export declare const Update_ExerciseInterface: Update_ExerciseInterface$Type;
+declare class Update_ExerciseByKey$Type extends MessageType<Update_ExerciseByKey> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.ExerciseByKey
+ */
+export declare const Update_ExerciseByKey: Update_ExerciseByKey$Type;
+declare class Update_Fetch$Type extends MessageType<Update_Fetch> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.Fetch
+ */
+export declare const Update_Fetch: Update_Fetch$Type;
+declare class Update_FetchInterface$Type extends MessageType<Update_FetchInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.FetchInterface
+ */
+export declare const Update_FetchInterface: Update_FetchInterface$Type;
+declare class Update_EmbedExpr$Type extends MessageType<Update_EmbedExpr> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.EmbedExpr
+ */
+export declare const Update_EmbedExpr: Update_EmbedExpr$Type;
+declare class Update_RetrieveByKey$Type extends MessageType<Update_RetrieveByKey> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.RetrieveByKey
+ */
+export declare const Update_RetrieveByKey: Update_RetrieveByKey$Type;
+declare class Update_QueryNByKey$Type extends MessageType<Update_QueryNByKey> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.QueryNByKey
+ */
+export declare const Update_QueryNByKey: Update_QueryNByKey$Type;
+declare class Update_TryCatch$Type extends MessageType<Update_TryCatch> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Update.TryCatch
+ */
+export declare const Update_TryCatch: Update_TryCatch$Type;
+declare class TemplateChoice$Type extends MessageType<TemplateChoice> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.TemplateChoice
+ */
+export declare const TemplateChoice: TemplateChoice$Type;
+declare class InterfaceInstanceBody$Type extends MessageType<InterfaceInstanceBody> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.InterfaceInstanceBody
+ */
+export declare const InterfaceInstanceBody: InterfaceInstanceBody$Type;
+declare class InterfaceInstanceBody_InterfaceInstanceMethod$Type extends MessageType<InterfaceInstanceBody_InterfaceInstanceMethod> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.InterfaceInstanceBody.InterfaceInstanceMethod
+ */
+export declare const InterfaceInstanceBody_InterfaceInstanceMethod: InterfaceInstanceBody_InterfaceInstanceMethod$Type;
+declare class DefTemplate$Type extends MessageType<DefTemplate> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefTemplate
+ */
+export declare const DefTemplate: DefTemplate$Type;
+declare class DefTemplate_DefKey$Type extends MessageType<DefTemplate_DefKey> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefTemplate.DefKey
+ */
+export declare const DefTemplate_DefKey: DefTemplate_DefKey$Type;
+declare class DefTemplate_Implements$Type extends MessageType<DefTemplate_Implements> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefTemplate.Implements
+ */
+export declare const DefTemplate_Implements: DefTemplate_Implements$Type;
+declare class InterfaceMethod$Type extends MessageType<InterfaceMethod> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.InterfaceMethod
+ */
+export declare const InterfaceMethod: InterfaceMethod$Type;
+declare class DefInterface$Type extends MessageType<DefInterface> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefInterface
+ */
+export declare const DefInterface: DefInterface$Type;
+declare class DefException$Type extends MessageType<DefException> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefException
+ */
+export declare const DefException: DefException$Type;
+declare class DefDataType$Type extends MessageType<DefDataType> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefDataType
+ */
+export declare const DefDataType: DefDataType$Type;
+declare class DefDataType_Fields$Type extends MessageType<DefDataType_Fields> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefDataType.Fields
+ */
+export declare const DefDataType_Fields: DefDataType_Fields$Type;
+declare class DefDataType_EnumConstructors$Type extends MessageType<DefDataType_EnumConstructors> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefDataType.EnumConstructors
+ */
+export declare const DefDataType_EnumConstructors: DefDataType_EnumConstructors$Type;
+declare class DefTypeSyn$Type extends MessageType<DefTypeSyn> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefTypeSyn
+ */
+export declare const DefTypeSyn: DefTypeSyn$Type;
+declare class DefValue$Type extends MessageType<DefValue> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefValue
+ */
+export declare const DefValue: DefValue$Type;
+declare class DefValue_NameWithType$Type extends MessageType<DefValue_NameWithType> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.DefValue.NameWithType
+ */
+export declare const DefValue_NameWithType: DefValue_NameWithType$Type;
+declare class FeatureFlags$Type extends MessageType<FeatureFlags> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.FeatureFlags
+ */
+export declare const FeatureFlags: FeatureFlags$Type;
+declare class Module$Type extends MessageType<Module> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Module
+ */
+export declare const Module: Module$Type;
+declare class InternedDottedName$Type extends MessageType<InternedDottedName> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.InternedDottedName
+ */
+export declare const InternedDottedName: InternedDottedName$Type;
+declare class UpgradedPackageId$Type extends MessageType<UpgradedPackageId> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.UpgradedPackageId
+ */
+export declare const UpgradedPackageId: UpgradedPackageId$Type;
+declare class PackageMetadata$Type extends MessageType<PackageMetadata> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.PackageMetadata
+ */
+export declare const PackageMetadata: PackageMetadata$Type;
+declare class PackageImports$Type extends MessageType<PackageImports> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.PackageImports
+ */
+export declare const PackageImports: PackageImports$Type;
+declare class Package$Type extends MessageType<Package> {
+    constructor();
+}
+/**
+ * @generated MessageType for protobuf message daml_lf_2.Package
+ */
+export declare const Package: Package$Type;
+export {};