Module `Fixit.Table`

type (_, _) hlist =

| [] : (Syntax.nil, Syntax.nil) hlist
| :: : ('t, 'k, unit) Syntax.table * ('ts, 'xs) hlist -> ('t -> 'ts, ('t, 'k, unit) Syntax.table -> 'xs) hlist