extracted/bool.mli

   1 open Preamble
   2
   3 open Hints_declaration
   4
   5 open Core_notation
   6
   7 open Pts
   8
   9 open Logic
  10
  11 open Relations
  12
  13 type bool =
  14 | True
  15 | False
  16
  17 val bool_rect_Type4 : 'a1 -> 'a1 -> bool -> 'a1
  18
  19 val bool_rect_Type5 : 'a1 -> 'a1 -> bool -> 'a1
  20
  21 val bool_rect_Type3 : 'a1 -> 'a1 -> bool -> 'a1
  22
  23 val bool_rect_Type2 : 'a1 -> 'a1 -> bool -> 'a1
  24
  25 val bool_rect_Type1 : 'a1 -> 'a1 -> bool -> 'a1
  26
  27 val bool_rect_Type0 : 'a1 -> 'a1 -> bool -> 'a1
  28
  29 val bool_inv_rect_Type4 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
  30
  31 val bool_inv_rect_Type3 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
  32
  33 val bool_inv_rect_Type2 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
  34
  35 val bool_inv_rect_Type1 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
  36
  37 val bool_inv_rect_Type0 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
  38
  39 val bool_discr : bool -> bool -> __
  40
  41 val notb : bool -> bool
  42
  43 val andb : bool -> bool -> bool
  44
  45 val orb : bool -> bool -> bool
  46
  47 val xorb : bool -> bool -> bool
  48