package bonsai

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Warning : sig ... end
val list_warnings : _ Computation.t -> Warning.t list

Produces a list of missed optimization opportunities. It currently checks for the following:

  • Unfolded constants
  • State_machine1 to State_machine0 transformation
OCaml

Innovation. Community. Security.