Merge pull request #3922 from eraserhd/implicit-doc-fix
Fix implication that implicit relates to totality
commit8c5de76a8d713f9cb2ba90998997660e872f2855
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 17 Jul 2017, 13:47 (9 years ago)
parent05fbd114b667a9
docs/reference/syntax-guide.rst+7−1
@@ -387,10 +387,16 @@ Totality
387387::
388388
389389 total
390− implicit
391390 partial
392391 covering
393392
393+Implicit Coercion
394+^^^^^^^^^^^^^^^^^
395+
396+::
397+
398+ implicit
399+
394400Options
395401^^^^^^^
396402