package asai

  1. Overview
  2. Docs

Source file Asai.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
module Range = Range
module Diagnostic = Diagnostic
module Reporter = Reporter
module StructuredReporter = StructuredReporter

module Tty = Tty
module GitHub = GitHub

module Explication = Explication
module Explicator = Explicator
module SourceReader = SourceReader

module Span = Range (* backward compatibility *)
module Logger = Reporter (* backward compatibility *)
module UserContent = UserContent
module Flattener = Flattener