Did you know ... Search Documentation:
Title for pldoc(object(section('sec:summary-lib-clpfd 的保持相等')))

Sorry, No manual entry for section(sec:summary-lib-clpfd 的保持相等)