$do_bar = ($value) -> {
    return AsStruct(
        $value as bar
    );
};

export $do_bar;