Type Alias Cvc5Command 

pub type Cvc5Command = *mut cvc5_cmd_t;

Encapsulation of a command.

Commands are constructed by the input parser and can be invoked on the solver and symbol manager.