Module Input.LockInput

type input = PublicKey.input