Hello, I have a rule that has a schematic variable ?t1.0. How do I assign to it using 'where'. Doing where t1.0=foo doesn't work.
where ?t1.0=foo
if foo is not singleton then where ?t1.0="foo"
Last updated: Apr 23 2024 at 20:15 UTC