pub fn table_record<F, A>( inputs: TableInputs<'_, F, A>, ) -> Result<TableRecord<F>>where F: TowerField + HardwareField, A: Air<F>,