lem

Lem is a tool for lightweight executable mathematics
Module Lem_word
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 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