ffi_test/FfiTest.lean

3 lines
148 B
Text
Raw Permalink Normal View History

2024-10-23 16:03:06 +09:00
-- This module serves as the root of the `FfiTest` library.
-- Import modules here that should be built as part of the library.
import FfiTest.Basic