Module GRing.Coq_isNmodule

type 'v axioms_ = {
  1. zero : 'v;
  2. add : 'v -> 'v -> 'v;
}
val zero : 'a1 axioms_ -> 'a1
val add : 'a1 axioms_ -> 'a1 -> 'a1 -> 'a1
val phant_Build : 'a1 -> ('a1 -> 'a1 -> 'a1) -> 'a1 axioms_