f-star:floating.1 — ordinary primitive
FORTH
F* ( .. )();as:"f-star";
F* ( .. )(
)
ordinary primitive F*
an executable word (no special usage info)
or wrapper call around p4_f_star
dpANS 12.6.1.1410 - standard forth word