[][src]Function varisat_checker::variables::add_user_mapping

pub fn add_user_mapping<'a>(
    ctx: Const<CheckerStateP, Mut<VariablesP, Mut<ProcessingP<'a>, Mut<ClausesP, Ref<Context<'a>>>>>>,
    global_var: Var,
    user_var: Var
) -> Result<(), CheckerError>

Add a user/global var mapping.