See this Wiki topic for vdash documentation and discussion:
Actually @neo the above is already a Wiki so I’m not sure what you have in mind here.
Being complete without realising its was there. But in any case this will serve as a redirect for anyone searching for vdash doco and ends up here