Interface RecordVariancePopulationAggregateFilter

interface RecordVariancePopulationAggregateFilter {
    id?: null | BigFloatFilter;
    userId?: null | BigFloatFilter;
    time?: null | FloatFilter;
    levelId?: null | BigFloatFilter;
}

Index

Properties

id? userId? time? levelId?

Properties

`Optional`id

id?: null | BigFloatFilter

`Optional`userId

userId?: null | BigFloatFilter

`Optional`time

time?: null | FloatFilter

`Optional`levelId

levelId?: null | BigFloatFilter