(library
 (name geneweb_sosa_zarith)
 (public_name geneweb.sosa_zarith)
 (libraries zarith)
 (implements geneweb_sosa_mli))