Inputs.F
type t = Impl.Field.t
val (*) : t -> t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val inv_exn : t -> t
val square : t -> t
val negate : t -> t
module Constant : sig ... end
val assert_square : t -> t -> unit
val assert_r1cs : t -> t -> t -> unit