leo/compiler/tests/input_files/program_input/main_field.leo

function main(a: field, b: field) {
    // Change to assert when == is implemented for field.
    console.log("a: {}", a);
    console.log("b: {}", b);
}