Learn_eq (soteria-rust.Soteria_rust_lib.Rust_val.Learn

Parameters

module Symex : Soteria.Symex.Base with module Value = Typed

Signature

val learn_eq_meta : 
  ('a -> 'b -> (unit, 'c) Symex.Consumer.t) ->
  (Symex.Value.Expr.t, 'a) meta_raw ->
  ('d Symex.Value.t, 'b) meta_raw ->
  (unit, 'c) Symex.Consumer.t

val learn_eq : 
  ('a -> 'b -> (unit, 'c) Symex.Consumer.t) ->
  (Soteria_rust_lib.Typed.Expr.t, Soteria_rust_lib.Typed.Expr.t, 'a) raw ->
  ('d Typed.t, 'e Typed.t, 'b) raw ->
  (unit, 'c) Symex.Consumer.t