code: def usage():
      
  
      print('Usage:', os.path.basename(sys.argv[0]), '[options]')
      print('Options:')
      print('        -k, --kval=<int>       Value k for generating k-PHP')
      print('                               Available values: [1 .. INT_MAX] (default = 1)')
      print('        -n, --size=<int>       Integer parameter of formula (its size)')
      print('                               Available values: [0 .. INT_MAX] (default = 8)')
      print('        -h, --help')
      print('        -t, --type=<string>    Formula type')
      print('                               Available values: cb, gt, par, php (default = php)')
      print('        -v, --verb             Be verbose (show comments)')
docs: Prints usage message.