package soteria

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

Module Make.Asrt

type !'a atom =
  1. | Spatial of 'a
  2. | Pure of Symex.Value.Expr.t
type !'a t = 'a atom list
val make : spatial:'a list -> pure:Symex.Value.Expr.t list -> 'a atom list
module Execute (B : Base) : sig ... end
module Execute_partial (B : Base) (Syn : sig ... end) : sig ... end