package jasmin

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

Module Jasmin.Ssrbool

type __ = Obj.t
val addb : bool -> bool -> bool
val isSome : 'a1 option -> bool
val iffP : bool -> Bool.reflect -> Bool.reflect
val equivP : bool -> Bool.reflect -> Bool.reflect
type alt_spec =
  1. | AltTrue
  2. | AltFalse
val altP : bool -> Bool.reflect -> alt_spec
val boolP : bool -> alt_spec
val andP : bool -> bool -> Bool.reflect
val and3P : bool -> bool -> bool -> Bool.reflect
val and4P : bool -> bool -> bool -> bool -> Bool.reflect
type 't pred = 't -> bool
type 't predType = __ -> 't pred
type 't pred_sort = __
val predPredType : 'a1 predType
type 't simpl_pred = ('t, bool) Ssrfun.simpl_fun
val coq_SimplPred : 'a1 pred -> 'a1 simpl_pred
module PredOfSimpl : sig ... end
type 't rel = 't -> 't pred
type 't mem_pred = 't pred
val pred_of_mem : 'a1 mem_pred -> 'a1 pred_sort
val in_mem : 'a1 -> 'a1 mem_pred -> bool
val simpl_of_mem : 'a1 mem_pred -> 'a1 simpl_pred
val mem : 'a1 predType -> 'a1 pred_sort -> 'a1 mem_pred
type 't qualifier = 't pred_sort
val has_quality : Datatypes.nat -> 'a1 qualifier -> 'a1 pred_sort