We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
module type of
Map.S.find_opt
include
(module type of A.B) with module A = M
mty_hidden
Functor
ModuleType.U.expr
Strengthen
Project
ModuleType.expr
