summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-05-12 21:55:26 +0200
committerNadrieril2019-05-12 21:55:26 +0200
commit00d5416d27747c1ff65ca3c4b036d3b2dcd8c6e3 (patch)
tree0d55c92765ac50c74fa5841d674dea0300bd1365
parenta88cdfa4a674c251cfdac21043ca1d87fa28824c (diff)
Tweak
-rw-r--r--dhall_syntax/src/core/expr.rs24
1 files changed, 12 insertions, 12 deletions
diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs
index 69471d5..da9465d 100644
--- a/dhall_syntax/src/core/expr.rs
+++ b/dhall_syntax/src/core/expr.rs
@@ -75,29 +75,29 @@ impl<'a> From<&'a Label> for V<Label> {
// pretty-printing to work correctly
#[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord)]
pub enum BinOp {
- /// x ? y
+ /// `x ? y`
ImportAlt,
- /// x || y`
+ /// `x || y`
BoolOr,
- /// x + y`
+ /// `x + y`
NaturalPlus,
- /// x ++ y`
+ /// `x ++ y`
TextAppend,
- /// x # y
+ /// `x # y`
ListAppend,
- /// x && y`
+ /// `x && y`
BoolAnd,
- /// x ∧ y`
+ /// `x ∧ y`
RecursiveRecordMerge,
- /// x ⫽ y
+ /// `x ⫽ y`
RightBiasedRecordMerge,
- /// x ⩓ y
+ /// `x ⩓ y`
RecursiveRecordTypeMerge,
- /// x * y`
+ /// `x * y`
NaturalTimes,
- /// x == y`
+ /// `x == y`
BoolEQ,
- /// x != y`
+ /// `x != y`
BoolNE,
}