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