Make.1-BaseField
module Stable : sig ... end
type t = Stable.Latest.t
val (+) : t -> t -> t
val (*) : t -> t -> t
val one : t
val square : t -> t
val is_square : t -> bool
val sqrt : t -> t
val random : unit -> t