Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
demos
calc-inspection
Printers.ml
Find file
Blame
History
Permalink
Printers: use [print_element_as_symbol] as a default implementation
· ff9d5915
POTTIER Francois
authored
Jan 14, 2015
for [print_element].
ff9d5915