pgo
pgo copied to clipboard
Remove `TLA` prefix from export functions and types names in the `tla` package