Module Translate_prop.Create.L


module L: M.L