Uses of Interface
com.io7m.jpra.model.types.TRecordBuilderType

Packages that use TRecordBuilderType

Package	Description
com.io7m.jpra.model.types	Types.

Uses of TRecordBuilderType in com.io7m.jpra.model.types

Methods in com.io7m.jpra.model.types that return TRecordBuilderType

Modifier and Type	Method and Description
static TRecordBuilderType	TRecord.newBuilder(PackageContextType in_package, IdentifierType in_identifier, TypeName in_ident) Construct a new mutable record builder.