Module LuavalueSource

Sourcetype ('a, 'b, 'c) ep = {
  1. embed : 'a -> 'b;
  2. project : 'b -> 'a;
  3. is : 'c -> bool;
}
Sourcetype ('a, 'b, 'c) synonym_for_ep = ('a, 'b, 'c) ep = {
  1. embed : 'a -> 'b;
  2. project : 'b -> 'a;
  3. is : 'c -> bool;
}
Sourcemodule type S = sig ... end
Sourcemodule type USERDATA = sig ... end
Sourcemodule Make (U : USERDATA) : S with type 'a userdata' = 'a U.t