This name is reported by Juncaginaceae as an accepted name in the genus Triglochin (family Juncaginaceae).
The record derives from WCSP (data supplied on 2022-04-18) which reports it as an accepted name