Up
—
package
funarith.zarith
Module
Funarith_zarith__.Simplex_zarith.Make_full.L.Var
type
t
=
V.t
val
compare :
t
‑>
t
‑>
int
val
pp :
t
CCFormat.printer