cry/nt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add ntDynamicTrapdoorKey

Browse source
This commit is contained in:
Emile Clark-Boman 2026-01-27 17:49:00 +10:00
parent 976ab6b80f
commit bbea746e8d
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
nt/primitives/bootstrap/nt.nix
View file

@ -81,6 +81,7 @@ in rec {
else typeSig x; else typeSig x;
ntTrapdoorKey = mkTrapdoorKey "nt"; ntTrapdoorKey = mkTrapdoorKey "nt";
ntDynamicTrapdoorKey = mkTrapdoorKey "ntDyn";
enfIsPrimitive = type: value: msg: let enfIsPrimitive = type: value: msg: let
got = typeOf value; got = typeOf value;