Module 1-Inputs.F

include Field_intf.Checked with type bool := Impl.Boolean.var and type field := Impl.field with type t = Impl.Field.t
include Field_intf.Basic with type t = Impl.Field.t
type t = Impl.Field.t
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
val if_ : Impl.Boolean.var -> then_:t -> else_:t -> t
val scale : t -> Impl.field -> t
val assert_square : t -> t -> unit
val assert_r1cs : t -> t -> t -> unit
val typ : ( t, Constant.t ) Impl.Typ.t
val constant : Constant.t -> t