;; -*-theme-d-*-

;; Copyright (C) 2018 Tommi Höynälänmaa
;; Distributed under GNU Lesser General Public License version 3,
;; see file doc/LGPL-3.

;; This module is imported by the core interface so we can't import it here.

(define-interface (standard-library platform-specific-impl))
