Documentation for the Closure_properties module.