Revision - 865a78b - generate goals that work when argument/result types are different

Revision 865a78bff564d7a1b1c27037a724abc4ea9d50da authored by François Dupressoir on 12 April 2022, 11:34:15 UTC, committed by François Dupressoir on 12 April 2022, 11:34:15 UTC

generate goals that work when argument/result types are different

1 parent 85b0b5e

Files
Changes

Permalinks

File	Mode	Size
XDG.ml	-rw-r--r--	4.7 KB
XDG.mli	-rw-r--r--	1.3 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...