package soteria

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

Module SM.Value

type 'a t = 'a Symex.Value.t
type 'a ty = 'a Symex.Value.ty
type sbool = Symex.Value.sbool
val is_bool_ty : 'a ty -> bool
val not : sbool t -> sbool t
val ppa : Format.formatter -> 'a t -> unit
val sem_eq_untyped : 'a t -> 'b t -> sbool t
val mk_var : Symex.Var.t -> 'a ty -> 'a t
val to_bool : 'a t -> bool option
val of_bool : bool -> sbool t
module Expr : sig ... end