Editorial: use consistent wording for abstract operation preambles#1914

Merged

ljharb merged 1 commit intomasterfrom consistent-headers

Apr 8, 2020

+346-346

Commits on Apr 8, 2020

Editorial: unify the wording used to introduce abstract operations (#1914 )

bakkot
authored and
ljharb
committed