package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module GRing.Coq_isZmodule

type 'v axioms_ = {
  1. zero : 'v;
  2. opp : 'v -> 'v;
  3. add : 'v -> 'v -> 'v;
}
val opp : 'a1 Choice.Coq_hasChoice.axioms_ -> 'a1 Eqtype.Coq_hasDecEq.axioms_ -> 'a1 axioms_ -> 'a1 -> 'a1
val add : 'a1 Choice.Coq_hasChoice.axioms_ -> 'a1 Eqtype.Coq_hasDecEq.axioms_ -> 'a1 axioms_ -> 'a1 -> 'a1 -> 'a1
type ('v, 'tlocal, 'tlocal0) phant_axioms = 'v axioms_