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

ecVersion.mli

(* -------------------------------------------------------------------- *)
val copyright : string list
val url       : string
val hash      : string
val app       : string

module License : sig
  val engine : string
  val stdlib : string
end

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

Computing file changes ...