Higher order separation logic