let ldot l s = Ldot (l, s)