We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1b4d477 commit 0ddb5a9Copy full SHA for 0ddb5a9
lib/lin_common.mli
@@ -1,4 +1,4 @@
1
-(** The [Lin_api] module allows the user to describe the type signature of
+(** This module allows the user to describe the type signature of
2
a tested module interface using a DSL of type combinators.
3
*)
4
0 commit comments