Fix implication that implicit relates to totality
commit4b667a923d2c12f59d2a7412dbbd8a216ad49e81
authorJason Felice <jason.m.felice@gmail.com>
dateMon 17 Jul 2017, 06:33 (9 years ago)
parent05fbd11
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