Parameter Bn382_inputs.1-Field

include Intf.Field
type t
val zero : t
val (*) : t -> t -> t
val (+) : t -> t -> t
val square : t -> t
val (*=) : t -> t -> unit
val (+=) : t -> t -> unit
module Mutable : sig ... end