package frama-c

  1. Overview
  2. Docs

Source file alias__.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* generated by dune *)

(** @canonical Alias.API *)
module API = Alias__API

(** @canonical Alias.Abstract_state *)
module Abstract_state = Alias__Abstract_state

(** @canonical Alias.Analysis *)
module Analysis = Alias__Analysis

(** @canonical Alias.Options *)
module Options = Alias__Options

(** @canonical Alias.Simplified *)
module Simplified = Alias__Simplified

module Alias__ = struct end
[@@deprecated "this module is shadowed"]