Module Asai.ExplicatorSource

Turning location information into highlighted text suitable for rendering. You probably do not need this module unless you want to create your own diagnostic handler.

Sourceexception Invalid_range of Range.t * UserContent.invalid_range

Invalid_range (range, reason) means that range is an invalid range because of reason. This exception will be raised only when the debug mode is enabled. See the debug argument of Explicator.S.explicate.

Sourcemodule type Tag = sig ... end

The signature of tags

Sourcemodule type S = sig ... end

The signature of explicators.

Sourceval default_blend : priority:('tag -> int) -> 'tag -> 'tag -> 'tag

The default tag blending algorithm that chooses the more important tag based on priority.

Sourcemodule Make (Tag : Tag) : S with module Tag := Tag

Making an explicator.