Stream: Beginner Questions

Topic: Assigning to schematic variable

view this post on Zulip Mark Wassell (Aug 06 2020 at 10:47):

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.

view this post on Zulip Lukas Stevens (Aug 06 2020 at 10:52):

where ?t1.0=foo

view this post on Zulip Lukas Stevens (Aug 06 2020 at 10:52):

if foo is not singleton then where ?t1.0="foo"

Last updated: Apr 20 2024 at 12:26 UTC