File tree Expand file tree Collapse file tree 2 files changed +5
-3
lines changed Expand file tree Collapse file tree 2 files changed +5
-3
lines changed Original file line number Diff line number Diff line change 1
1
---
2
- refs/heads/master: 2592422150fefb75e2bfa8b894b3b99d364ffd93
2
+ refs/heads/master: 175196bbb8057d21959feb51cf07f3518e9ef247
Original file line number Diff line number Diff line change @@ -36,7 +36,8 @@ pure fn xor(a: t, b: t) -> t { (a && !b) || (!a && b) }
36
36
pure fn implies ( a : t , b : t ) -> t { !a || b }
37
37
38
38
#[ doc(
39
- brief = "true if truth values `a` and `b` are indistinguishable in the logic"
39
+ brief = "true if truth values `a` and `b` \
40
+ are indistinguishable in the logic"
40
41
) ]
41
42
pure fn eq ( a : t , b : t ) -> bool { a == b }
42
43
@@ -71,7 +72,8 @@ pure fn from_str(s: str) -> t {
71
72
pure fn to_str ( v : t ) -> str { if v { "true" } else { "false" } }
72
73
73
74
#[ doc(
74
- brief = "Iterates over all truth values by passing them to `blk` in an unspecified order"
75
+ brief = "Iterates over all truth values by passing them to `blk` \
76
+ in an unspecified order"
75
77
) ]
76
78
fn all_values ( blk : block ( v : t ) ) {
77
79
blk ( true ) ;
You can’t perform that action at this time.
0 commit comments