package soteria

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

Module Profiling.Flamegraph

Module for creating flamegraph files (.folded, using the format described in Brendan Gregg's Flamegraph repository). This system is integrated with the Symex module, making it easy and convenient to use.

module Make (M : Soteria.Soteria_std.Monad.Base) : sig ... end