This commit is contained in:
parent
4c5979fb5a
commit
99b1cea095
1 changed files with 1 additions and 7 deletions
|
|
@ -4,13 +4,7 @@
|
|||
|
||||
open Include
|
||||
|
||||
(* TODO
|
||||
less boilerplate?
|
||||
- type t abstract
|
||||
- type t = { v = string }
|
||||
padding issues?
|
||||
how to encode union? not really needed?
|
||||
test *)
|
||||
(* TODO test *)
|
||||
|
||||
(* -- Time -- *)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue