Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type S = sig ... end
module For_string :
S with type t := string and type length := int and type conversion := string