import { DamlLfBuiltinType } from "./daml-lf-builtin-type.js"; import { DamlLfTypeParameter } from "./daml-lf-data-type.js"; import { DamlLfNodeKind } from "./daml-lf-node-kind.js"; import { TypeConReference } from "./type-con-reference.js"; export interface DamlLfTypeVariableReference { readonly name?: string; readonly internedStringIndex: number; } export interface DamlLfDiagnosticForall { readonly typeParameters: readonly DamlLfTypeParameter[]; readonly body: DamlLfType; } export declare class DamlLfType { readonly nodeKind = DamlLfNodeKind.type; readonly builtinType: DamlLfBuiltinType; readonly numericScale?: number; readonly typeConReference?: TypeConReference; readonly typeVariable?: DamlLfTypeVariableReference; readonly diagnosticForall?: DamlLfDiagnosticForall; readonly typeArguments: readonly DamlLfType[]; constructor(init: { builtinType?: DamlLfBuiltinType; numericScale?: number; typeConReference?: TypeConReference; typeVariable?: DamlLfTypeVariableReference; diagnosticForall?: DamlLfDiagnosticForall; typeArguments?: readonly DamlLfType[]; }); }