B.5 Basic Commands |
This section lists those commands that are rarely applied directly by the user; their main purpose is to serve as "building blocks" for more powerful prover commands (in particular the commands scatter and decompose).
B.5 Basic Commands |