Function u64_annotated

pub fn u64_annotated<Env, T>(env: &Env, from: &T) -> U64Value
where
    Env: TxEnv,
    T: AnnotatedValue<Env, u64>,