Module Tezos_protocol_environment_015_PtLimaPt.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_int32 : int32 -> int64 Sourceval to_int32 : int64 -> int32 Sourceval of_string_opt : string -> int64 option Sourceval to_string : int64 -> string