Remove outdated documentation

OCamlPro · Oct 9, 2024 · 972b79a · 972b79a
1 parent b49855c
commit 972b79a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 10 deletions.
diff --git a/rsc/extra/subgraphs.dot b/rsc/extra/subgraphs.dot
@@ -187,7 +187,6 @@ subgraph cluster_lib {
                 "Expr";
                 "Xliteral";
                 "Ty";
-                "Parsed";
                 "Typed";
                 "Commands";
                 "Errors";

diff --git a/src/lib/index.mld b/src/lib/index.mld
@@ -34,7 +34,6 @@ the {!module:AltErgoLib.Commands} module defines a notion of commands that can
 be sent to the SMT solver.
 
 {!modules:
-AltErgoLib.Parsed
 AltErgoLib.Ty
 AltErgoLib.Typed
 AltErgoLib.Expr
@@ -69,14 +68,6 @@ The {!module:AltErgoLib.Frontend} defines a frontend for the core solver,
 as a functor parametrized by a SAT solver implementation, and returning a solver
 that can process commands as defined by the {!module:AltErgoLib.Commands} module.
 
-The {!module:AltErgoLib.Input} module defines a notion of input method. An input method
-is used to transform a string input (typically one or more files), into typed terms
-and statements. These typed terms can then be translated into commands using the
-{!module:AltErgoLib.Cnf} module.
-
-Finally, the native input method is defined in the {!module:AltErgoLib.Parsed_interface}
-and {!module:AltErgoLib.Typechecker} modules.
-
 {!modules:
 AltErgoLib.Translate
 AltErgoLib.Frontend