-- THIS FILE WAS AUTOMATICALLY GENERATED BY AENEAS
-- [mutually_recursive_traits]
import Base
open Primitives

namespace mutually_recursive_traits
