Interface RecordHavingSumInput

interface RecordHavingSumInput {
    id?: HavingIntFilter | null;
    userId?: HavingIntFilter | null;
    time?: HavingFloatFilter | null;
    levelId?: HavingIntFilter | null;
    dateCreated?: HavingDatetimeFilter | null;
    dateUpdated?: HavingDatetimeFilter | null;
}