LuaiolibSourceval out :
('a t, 'b, 'b) Luavalue.ep ->
('b -> string -> out_channel) ->
(out_channel, 'b, 'b) Luavalue.epval in' :
('a t, 'b, 'b) Luavalue.ep ->
('b -> string -> in_channel) ->
(in_channel, 'b, 'b) Luavalue.epmodule Make
(TV : Lua.Lib.TYPEVIEW with type 'a t = 'a t) :
Lua.Lib.USERCODE with type 'a userdata' = 'a TV.combined