lem 2022-12-10 (latest) · OCaml Package

type bitSequence =

| BitSeq of int option * bool * bool list

val instance_Basic_classes_Eq_Word_bitSequence_dict : 
  bitSequence Lem_basic_classes.eq_class

val boolListFrombitSeqAux : Nat_num.nat -> 'a -> 'a list -> 'a list

val boolListFrombitSeq : Nat_num.nat -> bitSequence -> bool list

val bitSeqFromBoolList : bool list -> bitSequence option

val cleanBitSeq : bitSequence -> bitSequence

val bitSeqTestBit : bitSequence -> Nat_num.nat -> bool option

val bitSeqSetBit : bitSequence -> Nat_num.nat -> bool -> bitSequence

val resizeBitSeq : int option -> bitSequence -> bitSequence

val bitSeqNot : bitSequence -> bitSequence

val bitSeqBinopAux : 
  ('a -> 'b -> bool) ->
  'a ->
  'a list ->
  'b ->
  'b list ->
  bool list

val bitSeqBinop : 
  (bool -> bool -> bool) ->
  bitSequence ->
  bitSequence ->
  bitSequence

val bitSeqAnd : bitSequence -> bitSequence -> bitSequence

val bitSeqOr : bitSequence -> bitSequence -> bitSequence

val bitSeqXor : bitSequence -> bitSequence -> bitSequence

val bitSeqShiftLeft : bitSequence -> Nat_num.nat -> bitSequence

val bitSeqArithmeticShiftRight : bitSequence -> Nat_num.nat -> bitSequence

val bitSeqLogicalShiftRight : bitSequence -> Nat_num.nat -> bitSequence

val integerFromBoolListAux : Nat_big_num.num -> bool list -> Nat_big_num.num

val integerFromBoolList : (bool * bool list) -> Nat_big_num.num

val boolListFromNatural : bool list -> Nat_big_num.num -> bool list

val boolListFromInteger : Nat_big_num.num -> bool * bool list

val bitSeqFromInteger : int option -> Nat_big_num.num -> bitSequence

val integerFromBitSeq : bitSequence -> Nat_big_num.num

val bitSeqArithUnaryOp : 
  (Nat_big_num.num -> Nat_big_num.num) ->
  bitSequence ->
  bitSequence

val bitSeqArithBinOp : 
  (Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num) ->
  bitSequence ->
  bitSequence ->
  bitSequence

val bitSeqArithBinTest : 
  (Nat_big_num.num -> Nat_big_num.num -> 'a) ->
  bitSequence ->
  bitSequence ->
  'a

val bitSeqLess : bitSequence -> bitSequence -> bool

val bitSeqLessEqual : bitSequence -> bitSequence -> bool

val bitSeqGreater : bitSequence -> bitSequence -> bool

val bitSeqGreaterEqual : bitSequence -> bitSequence -> bool

val bitSeqCompare : bitSequence -> bitSequence -> int

val instance_Basic_classes_Ord_Word_bitSequence_dict : 
  bitSequence Lem_basic_classes.ord_class

val instance_Basic_classes_SetType_Word_bitSequence_dict : 
  bitSequence Lem_basic_classes.setType_class

val bitSeqNegate : bitSequence -> bitSequence

val instance_Num_NumNegate_Word_bitSequence_dict : 
  bitSequence Lem_num.numNegate_class

val bitSeqAdd : bitSequence -> bitSequence -> bitSequence

val instance_Num_NumAdd_Word_bitSequence_dict : 
  bitSequence Lem_num.numAdd_class

val bitSeqMinus : bitSequence -> bitSequence -> bitSequence

val instance_Num_NumMinus_Word_bitSequence_dict : 
  bitSequence Lem_num.numMinus_class

val bitSeqSucc : bitSequence -> bitSequence

val instance_Num_NumSucc_Word_bitSequence_dict : 
  bitSequence Lem_num.numSucc_class

val bitSeqPred : bitSequence -> bitSequence

val instance_Num_NumPred_Word_bitSequence_dict : 
  bitSequence Lem_num.numPred_class

val bitSeqMult : bitSequence -> bitSequence -> bitSequence

val instance_Num_NumMult_Word_bitSequence_dict : 
  bitSequence Lem_num.numMult_class

val bitSeqPow : bitSequence -> int -> bitSequence

val instance_Num_NumPow_Word_bitSequence_dict : 
  bitSequence Lem_num.numPow_class

val bitSeqDiv : bitSequence -> bitSequence -> bitSequence

val instance_Num_NumIntegerDivision_Word_bitSequence_dict : 
  bitSequence Lem_num.numIntegerDivision_class

val instance_Num_NumDivision_Word_bitSequence_dict : 
  bitSequence Lem_num.numDivision_class

val bitSeqMod : bitSequence -> bitSequence -> bitSequence

val instance_Num_NumRemainder_Word_bitSequence_dict : 
  bitSequence Lem_num.numRemainder_class

val bitSeqMin : bitSequence -> bitSequence -> bitSequence

val bitSeqMax : bitSequence -> bitSequence -> bitSequence

val instance_Basic_classes_OrdMaxMin_Word_bitSequence_dict : 
  bitSequence Lem_basic_classes.ordMaxMin_class

type !'a wordNot_class = {

lnot_method : 'a -> 'a;

}

type !'a wordAnd_class = {

land_method : 'a -> 'a -> 'a;

}

type !'a wordOr_class = {

lor_method : 'a -> 'a -> 'a;

}

type !'a wordXor_class = {

lxor_method : 'a -> 'a -> 'a;

}

type !'a wordLsl_class = {

lsl_method : 'a -> int -> 'a;

}

type !'a wordLsr_class = {

lsr_method : 'a -> int -> 'a;

}

type !'a wordAsr_class = {

asr_method : 'a -> int -> 'a;

}

val instance_Word_WordNot_Word_bitSequence_dict : bitSequence wordNot_class

val instance_Word_WordAnd_Word_bitSequence_dict : bitSequence wordAnd_class

val instance_Word_WordOr_Word_bitSequence_dict : bitSequence wordOr_class

val instance_Word_WordXor_Word_bitSequence_dict : bitSequence wordXor_class

val instance_Word_WordLsl_Word_bitSequence_dict : bitSequence wordLsl_class

val instance_Word_WordLsr_Word_bitSequence_dict : bitSequence wordLsr_class

val instance_Word_WordAsr_Word_bitSequence_dict : bitSequence wordAsr_class

val instance_Word_WordNot_Num_int32_dict : Int32.t wordNot_class

val instance_Word_WordOr_Num_int32_dict : Int32.t wordOr_class

val instance_Word_WordXor_Num_int32_dict : Int32.t wordXor_class

val instance_Word_WordAnd_Num_int32_dict : Int32.t wordAnd_class

val instance_Word_WordLsl_Num_int32_dict : Int32.t wordLsl_class

val instance_Word_WordLsr_Num_int32_dict : Int32.t wordLsr_class

val instance_Word_WordAsr_Num_int32_dict : Int32.t wordAsr_class

val instance_Word_WordNot_Num_int64_dict : Int64.t wordNot_class

val instance_Word_WordOr_Num_int64_dict : Int64.t wordOr_class

val instance_Word_WordXor_Num_int64_dict : Int64.t wordXor_class

val instance_Word_WordAnd_Num_int64_dict : Int64.t wordAnd_class

val instance_Word_WordLsl_Num_int64_dict : Int64.t wordLsl_class

val instance_Word_WordLsr_Num_int64_dict : Int64.t wordLsr_class

val instance_Word_WordAsr_Num_int64_dict : Int64.t wordAsr_class

val defaultLnot : (bitSequence -> 'a) -> ('b -> bitSequence) -> 'b -> 'a

val defaultLand : (bitSequence -> 'a) -> ('b -> bitSequence) -> 'b -> 'b -> 'a

val defaultLor : (bitSequence -> 'a) -> ('b -> bitSequence) -> 'b -> 'b -> 'a

val defaultLxor : (bitSequence -> 'a) -> ('b -> bitSequence) -> 'b -> 'b -> 'a

val defaultLsl : 
  (bitSequence -> 'a) ->
  ('b -> bitSequence) ->
  'b ->
  Nat_num.nat ->
  'a

val defaultLsr : 
  (bitSequence -> 'a) ->
  ('b -> bitSequence) ->
  'b ->
  Nat_num.nat ->
  'a

val defaultAsr : 
  (bitSequence -> 'a) ->
  ('b -> bitSequence) ->
  'b ->
  Nat_num.nat ->
  'a

val integerLnot : Nat_big_num.num -> Nat_big_num.num

val instance_Word_WordNot_Num_integer_dict : Nat_big_num.num wordNot_class

val instance_Word_WordOr_Num_integer_dict : Nat_big_num.num wordOr_class

val instance_Word_WordXor_Num_integer_dict : Nat_big_num.num wordXor_class

val instance_Word_WordAnd_Num_integer_dict : Nat_big_num.num wordAnd_class

val instance_Word_WordLsl_Num_integer_dict : Nat_big_num.num wordLsl_class

val instance_Word_WordLsr_Num_integer_dict : Nat_big_num.num wordLsr_class

val instance_Word_WordAsr_Num_integer_dict : Nat_big_num.num wordAsr_class

val intFromBitSeq : bitSequence -> int

val bitSeqFromInt : int -> bitSequence

val instance_Word_WordNot_Num_int_dict : int wordNot_class

val instance_Word_WordOr_Num_int_dict : int wordOr_class

val instance_Word_WordXor_Num_int_dict : int wordXor_class

val instance_Word_WordAnd_Num_int_dict : int wordAnd_class

val instance_Word_WordLsl_Num_int_dict : int wordLsl_class

val instance_Word_WordAsr_Num_int_dict : int wordAsr_class

val naturalFromBitSeq : bitSequence -> Nat_big_num.num

val bitSeqFromNatural : int option -> Nat_big_num.num -> bitSequence

val instance_Word_WordOr_Num_natural_dict : Nat_big_num.num wordOr_class

val instance_Word_WordXor_Num_natural_dict : Nat_big_num.num wordXor_class

val instance_Word_WordAnd_Num_natural_dict : Nat_big_num.num wordAnd_class

val instance_Word_WordLsl_Num_natural_dict : Nat_big_num.num wordLsl_class

val instance_Word_WordLsr_Num_natural_dict : Nat_big_num.num wordLsr_class

val instance_Word_WordAsr_Num_natural_dict : Nat_big_num.num wordAsr_class

val natFromBitSeq : bitSequence -> int

val bitSeqFromNat : int -> bitSequence

val instance_Word_WordOr_nat_dict : int wordOr_class

val instance_Word_WordXor_nat_dict : int wordXor_class

val instance_Word_WordAnd_nat_dict : int wordAnd_class

val instance_Word_WordLsl_nat_dict : int wordLsl_class

val instance_Word_WordAsr_nat_dict : int wordAsr_class

package lem