Merge branch 'master' of http://43.142.96.171:8080/r/~cnf/HM_StandardPda-Br...

cnf

2025-09-17 2565d78042b7cc5ac500c4bac5edefdb7a046af5

1
2
3
4
import type { SchemaCxt } from "..";
import { Name } from "../codegen";
export declare function topBoolOrEmptySchema(it: SchemaCxt): void;
export declare function boolOrEmptySchema(it: SchemaCxt, valid: Name): void;