package mopsa

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Desugar.Comprehensions

Inliner of list comprehensions. This translates comprehensions into for loops. While this is not the best in terms of precision, due to the widenings we may have to do afterwards, it's a generic, rewriting-based approach that may be helpful

module Domain : sig ... end
OCaml

Innovation. Community. Security.