package jasmin

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

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_