Interface RecordHavingAverageInput

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