Added type signature for knot.