Module `Transl_list_comprehension`

Translate list comprehensions; see the .ml file for more details

val comprehension : 
  transl_exp:
    (scopes:Debuginfo.Scoped_location.scopes ->
      Jkind.Sort.Const.t ->
      Typedtree.expression ->
      Lambda.lambda) ->
  scopes:Debuginfo.Scoped_location.scopes ->
  loc:Lambda.scoped_location ->
  Typedtree.comprehension ->
  Lambda.lambda

Translate a list comprehension (Typedtree.comprehension, when it's the body of a Typedtree.Texp_list_comprehension) into Lambda.

The only variables and types this term directly refers to are those from CamlinternalComprehension and those that come from the list comprehension itself.

This function needs to translate expressions from Typedtree into Lambda, and so is parameterized by Translcore.transl_exp, its scopes argument, and the location.

Module Transl_list_comprehension

Module `Transl_list_comprehension`