feat(minato): impl $.get

[Hieuzest]

Motivation

object[key] / array[index]

Eval

// Field of object only support string constant
get<T extends object, K extends keyof T, A extends boolean>(x: Term<T, A>, key: K): Expr<T[K], A>
// Index of array can be of any Expr<number>
get<T extends any, A extends boolean>(x: Array<T, A>, index: Term<number, A>): Expr<T, A>

Query

Reverted*

Modifier

Not yet supported

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.01%. Comparing base (c71ad3e) to head (c98f766).
Report is 1 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #109      +/-   ##
==========================================
+ Coverage   98.99%   99.01%   +0.02%     
==========================================
  Files          39       39              
  Lines       13488    13577      +89     
  Branches     3322     3338      +16     
==========================================
+ Hits        13352    13443      +91     
+ Misses        136      134       -2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.