Module `Transl_comprehension_utils.Lambda_utils`

Convenience functions for working with the Lambda AST

module Constants : sig ... end

Creating AST fragments for constants from OCaml values

val apply : 
  loc:Lambda.scoped_location ->
  mode:Lambda.locality_mode ->
  Lambda.lambda ->
  Lambda.lambda list ->
  result_layout:Lambda.layout ->
  Lambda.lambda

Apply a Lambda function to some Lambda values, at a location; all the other information needed by Lapply is set to some default value.

module type Int_ops = sig ... end

Nicer OCaml syntax for constructing Lambda ASTs that operate on integers; created by int_ops, which includes the necessary location in all the operations

val int_ops : 
  loc:Lambda.scoped_location ->
  (module Transl_comprehension_utils.Lambda_utils.Int_ops)

Construct an Int_ops module at the given location

module Primitive : sig ... end

Expose functions to construct Lambda calls to primitives; some of their arguments have been given labels, but otherwise they mirror the primitives exactly

Module Transl_comprehension_utils.Lambda_utils

Module `Transl_comprehension_utils.Lambda_utils`