Skip to content

Instantly share code, notes, and snippets.

@Octachron

Octachron/gist:0592fa3fe50386f7423e2e74fdad0506

Created October 29, 2019 15:00
Show Gist options
  • Save Octachron/0592fa3fe50386f7423e2e74fdad0506 to your computer and use it in GitHub Desktop.
Save Octachron/0592fa3fe50386f7423e2e74fdad0506 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
module type empty = sig end
module Empty = struct end;;
module type a
module type b
module type c
module Example_2 = struct
module type f = functor (X:a)(Y:b) -> c
module F: f = functor (X:a)(Y:b)(Z:c) -> Empty
end;;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment