Module Tezos_protocol_environment_003_PsddFKi3.Int64Source
Sourceval neg : int64 -> int64 Sourceval add : int64 -> int64 -> int64 Sourceval sub : int64 -> int64 -> int64 Sourceval mul : int64 -> int64 -> int64 Sourceval div : int64 -> int64 -> int64 Sourceval rem : int64 -> int64 -> int64 Sourceval succ : int64 -> int64 Sourceval pred : int64 -> int64 Sourceval abs : int64 -> int64 Sourceval logand : int64 -> int64 -> int64 Sourceval logor : int64 -> int64 -> int64 Sourceval logxor : int64 -> int64 -> int64 Sourceval lognot : int64 -> int64 Sourceval shift_left : int64 -> int -> int64 Sourceval shift_right : int64 -> int -> int64 Sourceval shift_right_logical : int64 -> int -> int64 Sourceval of_int : int -> int64 Sourceval to_int : int64 -> int Sourceval of_float : float -> int64 Sourceval to_float : int64 -> float Sourceval of_int32 : int32 -> int64 Sourceval to_int32 : int64 -> int32 Sourceval of_nativeint : nativeint -> int64 Sourceval to_nativeint : int64 -> nativeint Sourceval of_string : string -> int64 Sourceval of_string_opt : string -> int64 option Sourceval to_string : int64 -> string Sourceval bits_of_float : float -> int64 Sourceval float_of_bits : int64 -> float