;; -*-theme-d-*-

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

(define-body (standard-library system)

  (define getenv
    (prim-proc theme-getenv (<string>)
	       (:maybe <string>)
	       pure))

  (define file-exists?
    (prim-proc file-exists? (<string>) <boolean> pure))

  (define delete-file
    (prim-proc theme-delete-file (<string>) <none> nonpure)))
