let
fvar_of_cvar_at ~create tbl label v get_tau =
get_var create (
Some
tbl) label v get_tau