!--a11y-->
indf
Definition of the index
indf
EXEC SQL CREATE INDEX indf on
one
(indf);