/usr/lib/swipl/library/ext/protobufs/protobufs.pl
All Application Manual Name SummaryHelp

 float32_codes_when(?Value, ?Codes) is det[private]
Convert between a 32-bit floating point value and its wirestream codes. This is a low-level predicate; normally, you should use template_message/2 and the appropriate template term.

This predicate delays until either Value or Codes is sufficiently instantiated.

There is also a non-delayed float32_codes/2

Arguments:
Value- a floating point number
Codes- a list of 4 integers (codes)
ClioPatria (version V3.1.1-51-ga0b30a5)