One typically obtains a Source_code_position.t using a _here_ expression, which is implemented by the pa_here preprocessor.
Source_code_position.t
_here_
pa_here
to_string t converts t to the form "FILE:LINE:COL".
to_string t
t
"FILE:LINE:COL"