fact: Definition display_full_example tr_x tr_y scale bottom top obstacles source target extra := let cells := edges_to_cells bottom top obstacles in String.concat " " (postscript_header ++ display_obstacles_and_cells tr_x tr_y scale bottom top obstacles cells ++ display_smooth_trajectory tr_x tr_y scale (smooth_from_cells cells source target) ++ extra ++ postscript_end_of_file).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL