package binsec

  1. Overview
  2. Docs

doc/libterm/Libterm/Ai/module-type-S/index.html

Module type Ai.SSource

type t
type v
val eval : t -> Sexpr.Expr.t -> v
val refine : t -> Sexpr.Expr.t -> v -> unit
OCaml

Innovation. Community. Security.