Highlight

module Highlight


Assembly	`Nacara.Plugin.Rocq`

Colours rocq and coq code blocks, using the tokens and keywords of the library's reading of a source file.

Declared inside


`RocqHighlighter`	A highlighter for fences naming `rocq` or `coq`

lines (code: string) : Token list list

The lines of a snippet, each a list of coloured pieces. Joining the pieces gives back the snippet's lines.

Parameter
`code`	Rocq source, whole or a fragment. An unterminated comment or string runs to the end.