delete lib

This commit is contained in:
Julian Mutter 2025-04-22 21:25:44 +02:00
parent 63c3d1af27
commit 1e4d267ce7

View File

@ -1,15 +0,0 @@
{ lib, ... }:
with lib;
rec {
mkOpt =
type: default: description:
mkOption { inherit type default description; };
mkOpt' = type: default: mkOpt type default null;
mkBoolOpt = mkOpt types.bool;
mkBoolOpt' = mkOpt' types.bool;
mkEnableOpt = mkBoolOpt' false;
}