Function varisat::prop::assignment::enqueue_assignment

pub fn enqueue_assignment(
    ctx: Mut<TrailP, Mut<ImplGraphP, Mut<AssignmentP, Ref<Context>>>>, 
    lit: Lit, 
    reason: Reason
)

Enqueues the assignment of true to a literal.

This updates the assignment and trail, but does not perform any propagation. The literal has to be unassigned when calling this.