Skip to content

Instantly share code, notes, and snippets.

@EduardoRFS

EduardoRFS/class_is_structural.ml

Created June 20, 2022 15:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save EduardoRFS/ed1c1a54770f008ef95806ea2f0158f8 to your computer and use it in GitHub Desktop.
Save EduardoRFS/ed1c1a54770f008ef95806ea2f0158f8 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
class_is_structural.ml
class a =
object
method x = 1
end
class b =
object
method x = 2
end
let f (a : a) (b: a): a * b = (a, b)
let x = f (new a) (new b)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment