F.Constant
include Field_intf.Basic with type t = Impl.field
type t = Impl.field
val (*) : t -> t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val inv_exn : t -> t
val negate : t -> t
val square : t -> t