Module type

Module type 

Source
Expand description

Completion of names from the current scope in type position.

Functionsยง

complete_ascribed_type ๐Ÿ”’
complete_type_path ๐Ÿ”’