pub unsafe extern "C" fn ForceLogicalRetractions(
    arg1: *mut Environment
)