What is (a) To hoist or purchase by means of a whip. (b) To secure the end of (a rope, or the like) from untwisting by overcasting it with small stuff called?

whip — (Naut.) (a) To hoist or purchase by means of a whip. (b) To secure the end of (a rope, or the like) from untwisting by overcasting it with small stuff. (Webster's 1913.)

Sources