Module Tezos_protocol_environment_011_PtHangz2.Int32Source
Sourceval neg : int32 -> int32 Sourceval add : int32 -> int32 -> int32 Sourceval sub : int32 -> int32 -> int32 Sourceval mul : int32 -> int32 -> int32 Sourceval div : int32 -> int32 -> int32 Sourceval rem : int32 -> int32 -> int32 Sourceval succ : int32 -> int32 Sourceval pred : int32 -> int32 Sourceval abs : int32 -> int32 Sourceval logand : int32 -> int32 -> int32 Sourceval logor : int32 -> int32 -> int32 Sourceval logxor : int32 -> int32 -> int32 Sourceval lognot : int32 -> int32 Sourceval shift_left : int32 -> int -> int32 Sourceval shift_right : int32 -> int -> int32 Sourceval shift_right_logical : int32 -> int -> int32 Sourceval of_int : int -> int32 Sourceval to_int : int32 -> int Sourceval of_string_opt : string -> int32 option Sourceval to_string : int32 -> string