1-Shifted_value.Shift
type _ t
val create : (module Pickles_types.Shifted_value.Field_intf with type t = 'f) -> 'f t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t