package mopsa

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

Parser of configuration files

Configuration file

**********************

val opt_config : string ref

Path to the current configuration

val all_domains : unit -> string list
val all_reductions : unit -> string list

Domain parser

*****************

val debug : ('a, Format.formatter, unit, unit) format4 -> 'a
val parse_domain : Yojson.Basic.t -> Syntax.domain
val parse_domain_reduction : string -> Syntax.domain_reduction
val parse_domain_functor : Yojson.Basic.t -> Syntax.domain_functor
val parse_value : Yojson.Basic.t -> Syntax.value
val parse_value_reduction : string -> Syntax.value_reduction
val parse_value_functor : Yojson.Basic.t -> Syntax.value_functor

Toplevel attributes

***********************

val get_language : [> `Assoc of (string * Yojson__Basic.t) list ] -> string
val get_domain_json : [> `Assoc of (string * 'a) list ] -> 'a

Entry points

****************

val parse : string -> Syntax.abstraction
val language : string -> string
val domains : string -> string list
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