package jasmin

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

Module Eqtype.Coq_hasDecEq

type 't axioms_ = {
  1. eq_op : 't Ssrbool.rel;
  2. eqP : 't eq_axiom;
}
val eq_op : 'a1 axioms_ -> 'a1 Ssrbool.rel
val eqP : 'a1 axioms_ -> 'a1 eq_axiom