package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a binder_annot = {
  1. binder_name : 'a;
  2. binder_relevance : Sorts.relevance;
}
val eq_annot : ('a -> 'a -> bool) -> 'a binder_annot -> 'a binder_annot -> bool
val hash_annot : ('a -> int) -> 'a binder_annot -> int
val map_annot : ('a -> 'b) -> 'a binder_annot -> 'b binder_annot
val make_annot : 'a -> Sorts.relevance -> 'a binder_annot
val binder_name : 'a binder_annot -> 'a
val binder_relevance : 'a binder_annot -> Sorts.relevance
val annotR : 'a -> 'a binder_annot
module Rel : sig ... end
module Named : sig ... end
module Compacted : sig ... end