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 fc2c08a commit 650d9edCopy full SHA for 650d9ed
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