Type Definition agnes::store::PushedFrontField

type PushedFrontField<PrevFields, NewLabel, NewDType> = <PrevFields as PushFront<FieldSpec<NewLabel, NewDType>>>::Output;

Type alias for the output of applying $push_fn to previous fields.