TLX.InitConstraint
(TLX v0.5.3)
Copy Markdown
IR struct for a constraint inside the initial block — a custom Init predicate.
IR struct for a constraint inside the initial block — a custom Init predicate.