Parameter Make.Num

type digits
type word
type ('digits, 'word) t
val of_int : int -> (digits, word) t
val of_string : string -> (digits, word) t
val to_int : ('digits, 'word) t -> int
val to_string : ('digits, 'word) t -> string
val zero : (digits, word) t
val one : (digits, word) t
val max_int : (digits, word) t
val skein_ks_parity : (digits, word) t
val rotations_0 : (digits, word) t Rotations.t
val rotations_1 : (digits, word) t Rotations.t
val digits : int
val equal : ('digits, 'word) t -> ('digits, 'word) t -> bool
val succ : ('digits, 'word) t -> ('digits, 'word) t
val pred : ('digits, 'word) t -> ('digits, 'word) t
val add : ('digits, 'word) t -> ('digits, 'word) t -> ('digits, 'word) t
val sub : ('digits, 'word) t -> ('digits, 'word) t -> ('digits, 'word) t
val rem : ('digits, 'word) t -> ('digits, 'word) t -> ('digits, 'word) t
val logxor : ('digits, 'word) t -> ('digits, 'word) t -> ('digits, 'word) t
val rotL : ('digits, 'word) t -> ('digits, 'word) t -> ('digits, 'word) t