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