package frama-c

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

Compound Loader

val cluster : unit -> Definitions.cluster
module type Model = sig ... end

Loader Model for Atomic Values

module Make (M : Model) : sig ... end

Generates Loader for Compound Values

OCaml

Innovation. Community. Security.