tla

package

v1.4.2 Latest Latest Go to latest Published: Mar 20, 2026 License: MPL-2.0 Imports: 18 Imported by: 0

Details

Code generated by tl2gen; DO NOT EDIT.

This section is empty.

This section is empty.

This section is empty.

type Color = tlAColor.AColor

func Blue() Color

func Color0() Color

func Green() Color

func Red() Color

type ColorMaybe = tlAColorMaybe.AColorMaybe

type Inner = tlAInner.AInner

type Inner3 = tlAInner3.AInner3

type MiddlePairInnerInnerInnerBoxed3 = tlAMiddlePairAInnerAInnerAInnerBoxed3.AMiddlePairAInnerAInnerAInnerBoxed3

type MyBool = tlAMyBool.AMyBool

func MyFalse() MyBool

func MyTrue() MyBool

type MyUnion = tlAMyUnion.AMyUnion

type PairInnerInner = tlPairAInnerAInner.PairAInnerAInner

type PairPairInnerInnerInnerBoxed3 = tlPairPairAInnerAInnerAInnerBoxed3.PairPairAInnerAInnerAInnerBoxed3

type Top2 = tlATop2.ATop2

type UNionA = tlAMyUnion.AUNionA

type VectorColor = tlVectorAColor.VectorAColor