Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save flyingsilverfin/8a65919f8031a11b841893badb9f6052 to your computer and use it in GitHub Desktop.
Save flyingsilverfin/8a65919f8031a11b841893badb9f6052 to your computer and use it in GitHub Desktop.
Strong Typing in TypeDB blog: match inference 2
match
(buyer: $b, seller: $s) isa contract;
$b has charity-id $cid;
===== after type inference =====
$b may be [non-profit]
$s may be [for-profit, non-profit, person]
relation may be [resource-ownership]
$cid may be [charity-id]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment