{-# OPTIONS --safe #-}
module Core.All where
-- API imports every proof and model module; no IO/FFI enters this closure.
open import Core.API public