TLX.InitConstraint
(TLX v0.5.2)
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.