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