package mopsa

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

Syntax tree of configuration files

type abstraction = {
  1. domain : domain;
  2. language : string;
}
and domain = {
  1. domain_kind : domain_kind;
  2. domain_semantic : string option;
}
and domain_kind =
  1. | D_stacked of (module Sig.Abstraction.Stacked.STACKED)
  2. | D_domain of (module Sig.Abstraction.Domain.DOMAIN)
  3. | D_simplified of (module Sig.Abstraction.Simplified.SIMPLIFIED)
  4. | D_stateless of (module Sig.Abstraction.Stateless.STATELESS)
  5. | D_functor of domain_functor * domain
  6. | D_nonrel of value
  7. | D_switch of domain list
  8. | D_compose of domain list
  9. | D_product of domain list * domain_reduction list
and domain_functor =
  1. | F_simplified of (module Sig.Abstraction.Simplified_functor.SIMPLIFIED_FUNCTOR)
  2. | F_stacked of domain
and value =
  1. | V_value of (module Sig.Abstraction.Value.VALUE)
  2. | V_functor of value_functor * value
  3. | V_union of value list
  4. | V_product of value list * value_reduction list
and value_functor = (module Sig.Abstraction.Value_functor.VALUE_FUNCTOR)
and domain_reduction =
  1. | DR_exec of (module Sig.Reduction.Exec.EXEC_REDUCTION)
  2. | DR_eval of (module Sig.Reduction.Eval.EVAL_REDUCTION)
  3. | DR_simplified of (module Sig.Reduction.Simplified.SIMPLIFIED_REDUCTION)
and value_reduction = (module Sig.Reduction.Value.VALUE_REDUCTION)
val mk_domain : ?semantic:string option -> domain_kind -> domain
val pp_value_reduction : Format.formatter -> value_reduction -> unit
val pp_domain_reduction : Format.formatter -> domain_reduction -> unit
val pp_value : Format.formatter -> value -> unit
val pp_domain_functor : Format.formatter -> domain_functor -> unit
val pp_domain : Format.formatter -> domain -> unit
val pp_domain_kind : Format.formatter -> domain_kind -> unit
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