Repl

ct_repl(; debug, verbose)

Create a ct REPL.

ct_repl_update_model(e::Expr)

Update the model adding the expression e. It must be public since in the ct repl, this function is quoted each time an expression is parsed and is valid.