package mopsa

  1. Overview
  2. Docs
package mopsa
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct