lua-ml
Luainterp
module type S = sig ... end
module Make (T : Luavalue.USERDATA) (L : Lualib.USERCODE with type 'a userdata' = 'a T.t) : S with type 'a Value.userdata' = 'a T.t