package libsail

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

Module Extraction.Decidable

val coq_True_dec : Base.coq_Decision
val coq_False_dec : Base.coq_Decision
val coq_Is_true_dec : bool -> Base.coq_Decision
val unit_eq_dec : (unit, unit) Base.coq_RelDecision
val uncurry_dec : ('a1 -> 'a2 -> Base.coq_Decision) -> ('a1 * 'a2) -> Base.coq_Decision
val bool_decide : Base.coq_Decision -> bool