package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Library
Module
Module type
Parameter
Class
Class type

Signature of stateless domains

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

Signature

module type STATELESS = sig ... end

Registration

val register_stateless_domain : (module STATELESS) -> unit

Register a new stateless domain

val find_stateless_domain : string -> (module STATELESS)

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

val mem_stateless_domain : string -> bool

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

val 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