lua-ml
C10.C7
type 'a userdata' = 'a C1.userdata'
module M (C : CORE with type 'a V.userdata' = 'a userdata') : sig ... end