Skip to content

Instantly share code, notes, and snippets.



Created Mar 28, 2016
What would you like to do?
module M = struct
include BasicBlock_types
let f X Y Z = ()
module M : sig
include module type of BasicBlock_types
val f : x -> y -> z -> unit
type x = X
type y = Y
type z = Z
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.