Field_intf.Checked
type field
type bool
include Basic
type 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_ : bool -> then_:t -> else_:t -> t
val scale : t -> field -> t