2-Fq2.Base
type 'a t_ = 'a Fq.t_
val map_ : 'a t_ -> f:( 'a -> 'b ) -> 'b t_
module Unchecked : sig ... end
type t = Impl.Field.Var.t t_