package mopsa

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

Module Abstraction.FunctorSource

Signature of functors of standard domains

Signature

Sourcemodule type DOMAIN_FUNCTOR = sig ... end

Registration

Sourceval register_domain_functor : (module DOMAIN_FUNCTOR) -> unit

Register a new functor of standard domains

Sourceval find_domain_functor : string -> (module DOMAIN_FUNCTOR)

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

Sourceval mem_domain_functor : string -> bool

mem_domain_functor name checks whether a domain functor with name name is registered

Sourceval domain_functor_names : unit -> string list

Return the names of registered domain functor

OCaml

Innovation. Community. Security.