Module ASTLanguage.CPredicatesOnTwoNodes
val decl_name_is_contained_in_name_of_decl : Ctl_parser_types.ast_node -> Ctl_parser_types.ast_node -> bool
ASTLanguage.CPredicatesOnTwoNodesval decl_name_is_contained_in_name_of_decl : Ctl_parser_types.ast_node -> Ctl_parser_types.ast_node -> bool