This commit is contained in:
ayazhafiz 2021-12-23 17:50:55 -06:00
parent 1f81a598f7
commit 52c84824ba

View file

@ -58,7 +58,7 @@ type Pool = Vec<Variable>;
#[derive(Debug, PartialEq, Eq, Clone, Copy)]
pub enum Mode {
/// Instructs the unifier to solve two types for eqaulity.
/// Instructs the unifier to solve two types for equality.
///
/// For example, { n : Str }a ~ { n: Str, m : Str } will solve "a" to "{ m : Str }".
Eq,