package mopsa

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

Module Core.PostSource

Post - Post-states of statement execution.

Sourcetype 'a post = ('a, unit) Cases.cases
Sourceval join : 'a post -> 'a post -> 'a post
Sourceval join_list : empty:(unit -> 'a post) -> 'a post list -> 'a post
Sourceval meet : 'a post -> 'a post -> 'a post
Sourceval meet_list : empty:(unit -> 'a post) -> 'a post list -> 'a post
Sourceval return : ?cleaners:Ast.Stmt.block -> 'a Flow.flow -> 'a post
Sourceval bind : ('a Flow.flow -> ('a, 'r) Cases.cases) -> 'a post -> ('a, 'r) Cases.cases
Sourceval (>>%) : 'a post -> ('a Flow.flow -> ('a, 'r) Cases.cases) -> ('a, 'r) Cases.cases
Sourceval bind_opt : ('a Flow.flow -> ('a, 'r) Cases.cases option) -> 'a post -> ('a, 'r) Cases.cases option
Sourceval (>>%?) : 'a post -> ('a Flow.flow -> ('a, 'r) Cases.cases option) -> ('a, 'r) Cases.cases option
Sourceval remove_duplicates : 'a Lattice.lattice -> 'a post -> 'a post
OCaml

Innovation. Community. Security.