val at : span -> 'a -> 'a with_locationval location : 'a with_location -> spanval value : 'a with_location -> 'aval map : ('a -> 'b) -> 'a with_location -> 'b with_locationval same : _ with_location -> 'b -> 'b with_locationOdoc_model.Location_val at : span -> 'a -> 'a with_locationval location : 'a with_location -> spanval value : 'a with_location -> 'aval map : ('a -> 'b) -> 'a with_location -> 'b with_locationval same : _ with_location -> 'b -> 'b with_location