interface Experimental staged interface for declarative constraint-handler input. Context ¶ Placeholder for context bindings; not implemented yet. PreprocessOptions ¶ Placeholder for preprocessing options; not implemented yet. Preprocessor ¶ add ¶ add(program: str) -> None Collect source text for preparation. join ¶ join(atoms: Iterable[Atom]) -> None Collect Python atoms for preparation. Query ¶ Placeholder for enforced queries; not implemented yet.