package mopsa

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

Module Core.Post

Post - Post-states of statement execution.

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