CLAUDE.md.template

# General
- We consider specification a part of the program.
  - odoc is used to tie spec <- implementation <- test

# Tips

## odoc escaping
In most contexts, the characters { [ ] } @ all need to be escaped with a backslash. In inline source code style, only square brackets need to be escaped. However, as a convenience, matched square brackets need not be escaped to aid in typesetting code. For example, the following would be acceptable in a documentation comment:

```odoc
The list [ [1;2;3] ] needs no escaping
```

# Oystermark doc

The following content is excerpted from pkg/oystermark/doc/index.mld