diff --git a/hlist.ml b/hlist.ml index 14059ae..41ff6c0 100644 --- a/hlist.ml +++ b/hlist.ml @@ -1,7 +1,7 @@ module HList = struct type (_, _) hlist = | Empty : ('a, 'a) hlist - | :: : 'c * ('a, 'b) hlist -> ('c -> 'a, 'b) hlist + | (::) : 'c * ('a, 'b) hlist -> ('c -> 'a, 'b) hlist let cons : type a b c. c -> (a, b) hlist -> (c -> a, b) hlist = fun h tl -> h :: tl