val of_signed : Signed.long -> tval equal : t -> t -> boolval shift : t -> int -> tval of_string : string -> t optionval to_string : t -> stringval random_prime : bits_amount:int -> tval gcdext : t -> t -> t * t * tval divexact : t -> t -> tmodule Infix : sig ... end