package soteria

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

Parameter Make.C

type t
include Codom(Symex).Abstr.S_with_syn with type t := t
val fresh : unit -> t Symex.t
type syn
val to_syn : t -> syn
val subst : (Symex.Value.Expr.t -> 'a Symex.Value.t) -> syn -> t
val learn_eq : syn -> t -> (unit, 'a) Symex.Consumer.t
val exprs_syn : syn -> Symex.Value.Expr.t list
include Codom(Symex).Abstr.Sem_eq with type t := t
val sem_eq : t -> t -> Symex.Value.sbool Symex.Value.t