/**
 * 14.4: Local Variable Declaration Statements
 *
 * @author Martin Bravenboer
 */
module dryad/type-check/stm/LocalVarDec
rules

  dryad-attributes-of(rec) =
    ?VarDec(Id(x), e)
    ; <TypeOf> Id(x) => type
    ; <type-attr> e => rhs-type
    ; <assignment-conversion(|type)> rhs-type
    ; ![<id>]