Class Ast.RecordType

  • Enclosing class:
    Ast

    public static class Ast.RecordType
    extends Ast.Type
    Parse tree node of a record type.
    • Field Detail

      • fieldTypes

        public final java.util.Map<java.lang.String,​Ast.Type> fieldTypes
    • Constructor Detail

      • RecordType

        RecordType​(Pos pos,
                   com.google.common.collect.ImmutableMap<java.lang.String,​Ast.Type> fieldTypes)
        Creates a TyVar.