sibylfs-lem 0.4.0 · OCaml Package

type !'a numNegate_class = {

numNegate_method : 'a -> 'a;

}

type !'a numAbs_class = {

abs_method : 'a -> 'a;

}

type !'a numAdd_class = {

numAdd_method : 'a -> 'a -> 'a;

}

type !'a numMinus_class = {

numMinus_method : 'a -> 'a -> 'a;

}

type !'a numMult_class = {

numMult_method : 'a -> 'a -> 'a;

}

type !'a numPow_class = {

numPow_method : 'a -> int -> 'a;

}

type !'a numDivision_class = {

numDivision_method : 'a -> 'a -> 'a;

}

type !'a numIntegerDivision_class = {

div_method : 'a -> 'a -> 'a;

}

type !'a numRemainder_class = {

mod_method : 'a -> 'a -> 'a;

}

type !'a numSucc_class = {

succ_method : 'a -> 'a;

}

type !'a numPred_class = {

pred_method : 'a -> 'a;

}

val instance_Basic_classes_Eq_nat_dict : 'a Lem_basic_classes.eq_class

val instance_Basic_classes_Ord_nat_dict : 'a Lem_basic_classes.ord_class

val instance_Basic_classes_SetType_nat_dict : 
  'a Lem_basic_classes.setType_class

val instance_Num_NumAdd_nat_dict : int numAdd_class

val instance_Num_NumMinus_nat_dict : Nat_num.nat numMinus_class

val instance_Num_NumSucc_nat_dict : int numSucc_class

val instance_Num_NumPred_nat_dict : Nat_num.nat numPred_class

val instance_Num_NumMult_nat_dict : int numMult_class

val instance_Num_NumIntegerDivision_nat_dict : int numIntegerDivision_class

val instance_Num_NumDivision_nat_dict : int numDivision_class

val instance_Num_NumRemainder_nat_dict : int numRemainder_class

val gen_pow_aux : ('a -> 'a -> 'a) -> 'a -> 'a -> int -> 'a

val gen_pow : 'a -> ('a -> 'a -> 'a) -> 'a -> int -> 'a

val natPow : int -> int -> int

val instance_Num_NumPow_nat_dict : int numPow_class

val instance_Basic_classes_OrdMaxMin_nat_dict : 
  'a Lem_basic_classes.ordMaxMin_class

val instance_Basic_classes_Eq_Num_natural_dict : 
  Big_int.big_int Lem_basic_classes.eq_class

val instance_Basic_classes_Ord_Num_natural_dict : 
  Big_int.big_int Lem_basic_classes.ord_class

val instance_Basic_classes_SetType_Num_natural_dict : 
  Big_int.big_int Lem_basic_classes.setType_class

val instance_Num_NumAdd_Num_natural_dict : Big_int.big_int numAdd_class

val instance_Num_NumMinus_Num_natural_dict : Nat_num.natural numMinus_class

val instance_Num_NumSucc_Num_natural_dict : Big_int.big_int numSucc_class

val instance_Num_NumPred_Num_natural_dict : Nat_num.natural numPred_class

val instance_Num_NumMult_Num_natural_dict : Big_int.big_int numMult_class

val instance_Num_NumPow_Num_natural_dict : Big_int.big_int numPow_class

val instance_Num_NumIntegerDivision_Num_natural_dict : 
  Big_int.big_int numIntegerDivision_class

val instance_Num_NumDivision_Num_natural_dict : 
  Big_int.big_int numDivision_class

val instance_Num_NumRemainder_Num_natural_dict : 
  Big_int.big_int numRemainder_class

val instance_Basic_classes_OrdMaxMin_Num_natural_dict : 
  Big_int.big_int Lem_basic_classes.ordMaxMin_class

val instance_Basic_classes_Eq_Num_int_dict : 'a Lem_basic_classes.eq_class

val instance_Basic_classes_Ord_Num_int_dict : 'a Lem_basic_classes.ord_class

val instance_Basic_classes_SetType_Num_int_dict : 
  'a Lem_basic_classes.setType_class

val instance_Num_NumNegate_Num_int_dict : int numNegate_class

val instance_Num_NumAbs_Num_int_dict : int numAbs_class

val instance_Num_NumAdd_Num_int_dict : int numAdd_class

val instance_Num_NumMinus_Num_int_dict : int numMinus_class

val instance_Num_NumSucc_Num_int_dict : int numSucc_class

val instance_Num_NumPred_Num_int_dict : int numPred_class

val instance_Num_NumMult_Num_int_dict : int numMult_class

val intPow : int -> int -> int

val instance_Num_NumPow_Num_int_dict : int numPow_class

val instance_Num_NumIntegerDivision_Num_int_dict : int numIntegerDivision_class

val instance_Num_NumDivision_Num_int_dict : int numDivision_class

val instance_Num_NumRemainder_Num_int_dict : int numRemainder_class

val instance_Basic_classes_OrdMaxMin_Num_int_dict : 
  'a Lem_basic_classes.ordMaxMin_class

val instance_Basic_classes_Eq_Num_int32_dict : 'a Lem_basic_classes.eq_class

val instance_Basic_classes_Ord_Num_int32_dict : 
  Int32.t Lem_basic_classes.ord_class

val instance_Basic_classes_SetType_Num_int32_dict : 
  Int32.t Lem_basic_classes.setType_class

val instance_Num_NumNegate_Num_int32_dict : int32 numNegate_class

val instance_Num_NumAbs_Num_int32_dict : int32 numAbs_class

val instance_Num_NumAdd_Num_int32_dict : int32 numAdd_class

val instance_Num_NumMinus_Num_int32_dict : int32 numMinus_class

val instance_Num_NumSucc_Num_int32_dict : int32 numSucc_class

val instance_Num_NumPred_Num_int32_dict : int32 numPred_class

val instance_Num_NumMult_Num_int32_dict : int32 numMult_class

val int32Pow : int32 -> int -> int32

val instance_Num_NumPow_Num_int32_dict : int32 numPow_class

val instance_Num_NumIntegerDivision_Num_int32_dict : 
  Int32.t numIntegerDivision_class

val instance_Num_NumDivision_Num_int32_dict : Int32.t numDivision_class

val instance_Num_NumRemainder_Num_int32_dict : Int32.t numRemainder_class

val instance_Basic_classes_OrdMaxMin_Num_int32_dict : 
  'a Lem_basic_classes.ordMaxMin_class

val instance_Basic_classes_Eq_Num_int64_dict : 'a Lem_basic_classes.eq_class

val instance_Basic_classes_Ord_Num_int64_dict : 
  Int64.t Lem_basic_classes.ord_class

val instance_Basic_classes_SetType_Num_int64_dict : 
  Int64.t Lem_basic_classes.setType_class

val instance_Num_NumNegate_Num_int64_dict : int64 numNegate_class

val instance_Num_NumAbs_Num_int64_dict : int64 numAbs_class

val instance_Num_NumAdd_Num_int64_dict : int64 numAdd_class

val instance_Num_NumMinus_Num_int64_dict : int64 numMinus_class

val instance_Num_NumSucc_Num_int64_dict : int64 numSucc_class

val instance_Num_NumPred_Num_int64_dict : int64 numPred_class

val instance_Num_NumMult_Num_int64_dict : int64 numMult_class

val int64Pow : int64 -> int -> int64

val instance_Num_NumPow_Num_int64_dict : int64 numPow_class

val instance_Num_NumIntegerDivision_Num_int64_dict : 
  Int64.t numIntegerDivision_class

val instance_Num_NumDivision_Num_int64_dict : Int64.t numDivision_class

val instance_Num_NumRemainder_Num_int64_dict : Int64.t numRemainder_class

val instance_Basic_classes_OrdMaxMin_Num_int64_dict : 
  'a Lem_basic_classes.ordMaxMin_class

val instance_Basic_classes_Eq_Num_integer_dict : 
  Big_int.big_int Lem_basic_classes.eq_class

val instance_Basic_classes_Ord_Num_integer_dict : 
  Big_int.big_int Lem_basic_classes.ord_class

val instance_Basic_classes_SetType_Num_integer_dict : 
  Big_int.big_int Lem_basic_classes.setType_class

val instance_Num_NumNegate_Num_integer_dict : Big_int.big_int numNegate_class

val instance_Num_NumAbs_Num_integer_dict : Big_int.big_int numAbs_class

val instance_Num_NumAdd_Num_integer_dict : Big_int.big_int numAdd_class

val instance_Num_NumMinus_Num_integer_dict : Big_int.big_int numMinus_class

val instance_Num_NumSucc_Num_integer_dict : Big_int.big_int numSucc_class

val instance_Num_NumPred_Num_integer_dict : Big_int.big_int numPred_class

val instance_Num_NumMult_Num_integer_dict : Big_int.big_int numMult_class

val instance_Num_NumPow_Num_integer_dict : Big_int.big_int numPow_class

val instance_Num_NumIntegerDivision_Num_integer_dict : 
  Big_int.big_int numIntegerDivision_class

val instance_Num_NumDivision_Num_integer_dict : 
  Big_int.big_int numDivision_class

val instance_Num_NumRemainder_Num_integer_dict : 
  Big_int.big_int numRemainder_class

val instance_Basic_classes_OrdMaxMin_Num_integer_dict : 
  Big_int.big_int Lem_basic_classes.ordMaxMin_class

package sibylfs-lem