fact: Definition display_point (tr_x tr_y scale : Q) (p : pt) := let process_coord tr scale v := Q_to_approx_decimal_string (tr + scale * v) in append (process_coord tr_x scale (p_x p)) (append " " (process_coord tr_y scale (p_y p))).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL