Method refines

ir/type.cpp:312–316

}

pair<expr, expr>
VoidType::refines(State &src_s, State &tgt_s, const StateValue &src,
                  const StateValue &tgt) const {
  return { true, true };
}

expr VoidType::mkInput(State &s, const char *name,
                       const ParamAttrs &attrs) const {