package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Config.Builder`

Build a domain from a configuration

val from_json : Syntax.domain -> (module Sig.Combiner.Domain.DOMAIN_COMBINER)

Build a domain from a JSON configuration