Page Comparison

...

• Domain related
  •  Register/Unregister<Identifiable>
  •  Mint/Burn<Id, Value>
  •  Transfer<Id, Value, Id>
• Math
  • Integer
    •  Add/Substract<EvaluatesTo<u32>, EvaluatesTo<u32>>
    •  Multiply/Divide<EvaluatesTo<u32>, EvaluatesTo<u32>>
    •  RaiseTo<EvaluatesTo<u32>, EvaluatesTo<u32>>
    •  Mod<EvaluatesTo<u32>, EvaluatesTo<u32>>
  • Comparison:
    •  Equate<Value, Value>
    •  Greater/Less<EvaluatesTo<u32>, EvaluatesTo<u32>>
  • Bool
    •  Not<EvaluatesTo<bool>>
    •  And/Or<EvaluatesTo<bool>, EvaluatesTo<bool>>
• Compositions
  •  Sequence<Vec<Instruction>>
  •  Pair<Instruction, Instruction>
  •  If<EvaluatesTo<bool>, Instruction, Option<Instruction>>
• Vectors
  •  Contains<EvaluatesTo<Vec<Value>>, EvaluatesTo<Value>>
  •  ContainsAny/ContainsAll<EvaluatesTo<Vec<Value>>, EvaluatesTo<Vec<Value>>>
• Variables
  •  Where<Value, BTreeMap<String, Value>>
  •  ContextValue<String>
• Queries
  •  Execute<Query>
• Misc
  •  Fail<String>

...

Provide a set of tools for Digital Identity (https://ieeexplore.ieee.org/abstract/document/8377927/):

• W3C-DIDs
  •  Register or unregister DID in Account
    
  •  Register or unregister VerifiableCredential in Account (https://www.w3.org/TR/vc-data-model/)

...