https://github.com/charguer/ocaml
History
Tip revision: 6f0f29f39d014c38d9cb616f074c16482fd8681a authored by Jacques Garrigue on 04 June 2007, 08:26:02 UTC
allow [] as a refinement of [> ] but not [< ..]
Tip revision: 6f0f29f

back to top