Expand description
Reading a primitive’s README: the obligations it declares.
Structs§
Functions§
- obligations
- The obligations a primitive’s README declares under
## Obligations. Every line there must belong to a block;filenames the README in the problems, which are sorted by line.