package libsail

You can search for identifiers within the package.

in-package search v0.2.0

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