Frama-C API - Sigma
module Make (C : Sigs.Chunk) (H : Qed.Collection.S with type t = C.t) : Sigs.Sigma with type chunk = C.t and module Chunk = H
Frama-C Frama-C Sigmamodule Make (C : Sigs.Chunk) (H : Qed.Collection.S with type t = C.t) : Sigs.Sigma with type chunk = C.t and module Chunk = H