Up
–
coq-core
»
Micromega_plugin
»
Micromega
» Pos
Module
Micromega.Pos
type
mask
=
|
IsNul
|
IsPos
of
positive
|
IsNeg