Definition hetmet_brak' := coreVarToWeakExprVarOrError hetmet_brak.
Definition hetmet_esc' := coreVarToWeakExprVarOrError hetmet_esc.
Definition hetmet_flatten' := coreVarToWeakExprVarOrError hetmet_flatten.
Definition hetmet_brak' := coreVarToWeakExprVarOrError hetmet_brak.
Definition hetmet_esc' := coreVarToWeakExprVarOrError hetmet_esc.
Definition hetmet_flatten' := coreVarToWeakExprVarOrError hetmet_flatten.