Charge

A charge is a single-word command issued to a primus, which are to be carried out immediately. Charges usually include the key-word for one or more sequents.

 
helevos/charge.txt · Last modified: 2018/05/30 17:32 (external edit) · []