path: root/tests/lean/misc/MutuallyRecursiveTraits.lean

-- THIS FILE WAS AUTOMATICALLY GENERATED BY AENEAS
-- [mutually_recursive_traits]
import Base
open Primitives
set_option linter.dupNamespace false
set_option linter.hashCommand false
set_option linter.unusedVariables false

namespace mutually_recursive_traits