package mopsa

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

Module Abstraction.StatelessSource

Signature of stateless domains

The signature STATELESS represents domains without an abstract element. This can be useful for implementing iterators for example.

Signature

Sourcemodule type STATELESS = sig ... end

Registration

Sourceval register_stateless_domain : (module STATELESS) -> unit

Register a new stateless domain

Sourceval find_stateless_domain : string -> (module STATELESS)

Find a stateless domain by its name. Raise Not_found if no domain is found

Sourceval mem_stateless_domain : string -> bool

mem_stateless_domain name checks whether a stateless domain with name name is registered

Sourceval stateless_domain_names : unit -> string list

Return the names of registered stateless domains

OCaml

Innovation. Community. Security.