package soteria

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

Module With_info.Make

Parameters

module Symex : Symex.Base
module Info : sig ... end

Signature

type ('a, 'info) with_info = {
  1. node : 'a;
  2. info : 'info option;
}
type t = (B.t, Info.t) with_info
module SM : sig ... end
type syn = (B.syn, Info.t) with_info
val ins_outs : syn -> Symex.Value.Expr.t list * Symex.Value.Expr.t list
val to_syn : t -> syn list
val lower : ('a, 'b) with_info option -> 'a option * 'b option
val lift : info:'a option -> 'b option -> ('b, 'a) with_info option
val wrap : ('a, 'err, B.syn list) B.SM.Result.t -> ('a, 'err, syn list) SM.Result.t
val consume : syn -> t option -> (t option, syn list) Symex.Consumer.t
val produce : (B.syn, Info.t) with_info -> (B.t, Info.t) with_info option -> t option Symex.Producer.t