diff options
author | 2017-02-04 14:56:04 +0100 | |
---|---|---|
committer | 2017-03-24 12:22:21 +0100 | |
commit | eec5145a5c6575d04b5ab442597fb52913daed29 (patch) | |
tree | efdc1db3c3b4db77cc5d5382b8424794db5f4201 /kernel/kernel.mllib | |
parent | 6899bace8e617f38fadce0b4b660d951d73af5d0 (diff) |
Applying same convention as in Definition for printing type in a let in.
Also adding spaces around ":=" and ":" when printed as "(x : t := c)".
Example:
Check fun y => let x : True := I in fun z => z+y=0.
(* λ (y : nat) (x : True := I) (z : nat), z + y = 0
: nat → nat → Prop *)
Diffstat (limited to 'kernel/kernel.mllib')
0 files changed, 0 insertions, 0 deletions