diff options
author | Vincent Ambo <mail@tazj.in> | 2023-01-13T22·47+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2023-01-16T13·43+0000 |
commit | 1786b4c835cbce619ddae77ffeebe89b24d50c0e (patch) | |
tree | 15fa946455e593f1cbfc9246f07782018a3fb3aa /tvix/.gitignore | |
parent | ca0bd84589fa5789ccf5b6e2cb532f8db83d7886 (diff) |
chore(tvix/eval): add other required items to public API r/5663
External implementors of builtins must be able to force values, which necessitates publishing a bunch more items from the crate. Change-Id: I8f6b8ae88156aae417dbe630a698d123d0c1c8d4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7830 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions