Module Jasmin.Ssrbool

type __ = Obj.t
val addb : bool -> bool -> bool
val isSome : 'a1 option -> bool
val iffP : bool -> Datatypes.reflect -> Datatypes.reflect
val equivP : bool -> Datatypes.reflect -> Datatypes.reflect
type alt_spec =
  1. | AltTrue
  2. | AltFalse
val altP : bool -> Datatypes.reflect -> alt_spec
val boolP : bool -> alt_spec
val andP : bool -> bool -> Datatypes.reflect
val and3P : bool -> bool -> bool -> Datatypes.reflect
val and4P : bool -> bool -> bool -> bool -> Datatypes.reflect
val andPP : bool -> bool -> Datatypes.reflect -> Datatypes.reflect -> Datatypes.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