package frama-c

  1. Overview
  2. Docs

Source file reduc__.ml

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

(** @canonical Reduc.Collect *)
module Collect = Reduc__Collect

(** @canonical Reduc.Hyp *)
module Hyp = Reduc__Hyp

(** @canonical Reduc.Misc *)
module Misc = Reduc__Misc

(** @canonical Reduc.Reduc_options *)
module Reduc_options = Reduc__Reduc_options

(** @canonical Reduc.Register *)
module Register = Reduc__Register

(** @canonical Reduc.Value2acsl *)
module Value2acsl = Reduc__Value2acsl

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