Interface RecordStddevPopulationAggregateFilter

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

Index

Properties

id? userId? time? levelId?

Properties

`Optional`id

id?: BigFloatFilter | null

`Optional`userId

userId?: BigFloatFilter | null

`Optional`time

time?: FloatFilter | null

`Optional`levelId

levelId?: BigFloatFilter | null