Module veloren_common::typed

source ·


  • A lazy pattern match reified as a Rust type.
  • Weak head reduction type (equivalent to applying a reduction to the head variable, but this way we don’t have to implement variable lookup and it doesn’t serialize with variables).


  • Given a head expression (Self) and a target type (Type), attempt to synthesize a term that reduces head into the target type.

Type Aliases