tltls

Documentation

Overview

Code generated by vktl/cmd/tlgen2; DO NOT EDIT.

Index

• type Arg
• type Array
• type Combinator
• type Combinator0
• type CombinatorLeft
• type CombinatorLeft0
• type CombinatorLeftBuiltin
• type CombinatorRight
• type CombinatorV4
• type Expr
• type ExprNat
• type ExprType
• type NatConst
• type NatExpr
• type NatVar
• type Schema
• type SchemaV2
• type SchemaV3
• type SchemaV4
• type Type
• type TypeExpr
• type TypeExpr0
• type TypeVar

Types

type Arg

type Arg = internal.TlsArg

type Array

type Array = internal.TlsArray

type Combinator

type Combinator = internal.TlsCombinator

type Combinator0

type Combinator0 = internal.TlsCombinator0

type CombinatorLeft

type CombinatorLeft = internal.TlsCombinatorLeft

type CombinatorLeft0

type CombinatorLeft0 = internal.TlsCombinatorLeft0

type CombinatorLeftBuiltin

type CombinatorLeftBuiltin = internal.TlsCombinatorLeftBuiltin

type CombinatorRight

type CombinatorRight = internal.TlsCombinatorRight

type CombinatorV4

type CombinatorV4 = internal.TlsCombinatorV4

type Expr

type Expr = internal.TlsExpr

type ExprNat

type ExprNat = internal.TlsExprNat

type ExprType

type ExprType = internal.TlsExprType

type NatConst

type NatConst = internal.TlsNatConst

type NatExpr

type NatExpr = internal.TlsNatExpr

type NatVar

type NatVar = internal.TlsNatVar

type Schema

type Schema = internal.TlsSchema

type SchemaV2

type SchemaV2 = internal.TlsSchemaV2

type SchemaV3

type SchemaV3 = internal.TlsSchemaV3

type SchemaV4

type SchemaV4 = internal.TlsSchemaV4

type Type

type Type = internal.TlsType

type TypeExpr

type TypeExpr = internal.TlsTypeExpr

type TypeExpr0

type TypeExpr0 = internal.TlsTypeExpr0

type TypeVar

type TypeVar = internal.TlsTypeVar