package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Automatic.Make`

module Toplevel : Toplevel.TOPLEVEL

type t = Toplevel.t

val init : Core.All.program -> t Core.All.flow

val analyze : Core.All.stmt -> t Core.All.flow -> t Core.All.flow

val man : (t, t) Core.All.man