diff options
author | Nadrieril | 2019-05-12 21:55:26 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-12 21:55:26 +0200 |
commit | 00d5416d27747c1ff65ca3c4b036d3b2dcd8c6e3 (patch) | |
tree | 0d55c92765ac50c74fa5841d674dea0300bd1365 | |
parent | a88cdfa4a674c251cfdac21043ca1d87fa28824c (diff) |
Tweak
-rw-r--r-- | dhall_syntax/src/core/expr.rs | 24 |
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, } |