Cobol_unit.Qualval pp : Cobol_ptree.qualname Pretty.printerval compare : Cobol_ptree.qualname Cobol_ptree.compare_funval name :
Cobol_ptree.name Cobol_common.Srcloc.with_loc ->
Cobol_ptree.qualnameval name_of : Cobol_ptree.qualname -> stringval qual_of :
Cobol_ptree.qualname ->
Cobol_ptree.qualname_ Cobol_ptree.term optionval qual :
Cobol_ptree.name Cobol_common.Srcloc.with_loc ->
Cobol_ptree.qualname option ->
Cobol_ptree.qualnameval requal :
Cobol_ptree.qualname ->
Cobol_ptree.qualname option ->
Cobol_ptree.qualnamerequal qn qn' qualifies qn with qn' iff qn is not already qualified.
val names_of : Cobol_ptree.qualname -> StrSet.tval indirect_quals_of : Cobol_ptree.qualname -> StrSet.tval matches : Cobol_ptree.qualname -> full:Cobol_ptree.qualname -> boolCollections to be used over fully qualified names.
module M : sig ... endmodule SET : sig ... endmodule MAP : sig ... end