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