Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_domain

type return = {
  1. standard : Mt_utils.Value.t;
}
module Domain : sig ... end