Function write_evaled_def 

pub fn write_evaled_def(
    ns: &str,
    def: &str,
    value: Calcit,
) -> Result<(), String>