golitex icon indicating copy to clipboard operation
golitex copied to clipboard
Published 1 month ago • verified publisher icon litexlang

Semantics of @ claim explained

Open malloc-realloc opened this issue 2 months ago • 1 comments

malloc-realloc avatar Sep 29 '25 04:09 malloc-realloc

know @, claim @ is very tricky

how a prop defined by know @ and claim @ to be emitted ?? what does => mean there?

malloc-realloc avatar Sep 29 '25 04:09 malloc-realloc