let ex ?pos qs c =
  CLet ([ Scheme (pos_or_undef pos, [], qs, c, StringMap.empty) ], 
        CTrue (pos_or_undef pos))