package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val name : string
val checks : Core.All.check list
val print : Format.formatter -> t -> unit
val compare : t -> t -> int
val init : t
val add : Core.All.marker -> t -> t
val exec : Core.All.stmt -> ('a, t) Core.All.man -> 'a Core.All.flow -> 'a Core.All.post option
val eval : Core.All.expr -> ('a, t) Core.All.man -> 'a Core.All.flow -> 'a Core.All.eval option
val ask : ('a, 'r) Core.All.query -> ('a, t) Core.All.man -> 'a Core.All.flow -> ('a, 'r) Core.All.cases option
OCaml

Innovation. Community. Security.