risc0_circuit_recursion_zkrs/
lib.rs

1// Copyright 2026 RISC Zero, Inc.
2//
3// Licensed under the Apache License, Version 2.0, <LICENSE-APACHE or
4// http://apache.org/licenses/LICENSE-2.0> or the MIT license <LICENSE-MIT or
5// http://opensource.org/licenses/MIT>, at your option. This file may not be
6// copied, modified, or distributed except according to those terms.
7//
8// Unless required by applicable law or agreed to in writing, software
9// distributed under the License is distributed on an "AS IS" BASIS,
10// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11// See the License for the specific language governing permissions and
12// limitations under the License.
13//
14// SPDX-License-Identifier: Apache-2.0 OR MIT
15
16include!(concat!(env!("OUT_DIR"), "/zkr_table.rs"));

risc0_circuit_recursion_zkrs/lib.rs

risc0_circuit_recursion_zkrs/
lib.rs