fn println(
    ctx: &Context,
    vars: &mut VarTable<'_>,
    args: &[VarId],
    runner: &mut dyn Runner,
) -> SolverResult {
    match *args {
        [x] => println!("{}", vars.show(x, ctx)),
        _ => panic!("Wrong number of arguments"),
    }
    runner.solution(ctx, vars)
}
/// `println` builtin -- prints its argument, followed by a newline
`println` builtin -- prints its argument, followed by a newline
` println ` builtin -- prints its argument followed by a newline
fn println(
    ctx: &Context,
    vars: &mut VarTable<'_>,
    args: &[VarId],
    runner: &mut dyn Runner,
) -> SolverResult {
    match *args {
        [x] => println!("{}", vars.show(x, ctx)),
        _ => panic!("Wrong number of arguments"),
    }
    runner.solution(ctx, vars)
}
fn println ( ctx : & Context , vars : & mut VarTable < ' _ > , args : & [ VarId ] , runner : & mut dyn Runner , ) -> SolverResult { match * args { [ x ] => println ! ( " " vars show ( x ctx ) ) , _ => panic ! ( " " ) , } runner . solution ( ctx , vars ) }
`println` builtin -- prints its argument, followed by a newline
` println ` builtin -- prints its argument followed by a newline
ctx
&Context
vars
&mut VarTable<'_>
args
&[VarId]
runner
&mut dyn Runner
ctx
&Context
vars
&mut VarTable<'_>
args
&[VarId]
runner
&mut dyn Runner