package frama-c

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

Logic expressions

module Make (ADT : Logic.Data) (Field : Logic.Field) (Fun : Logic.Function) : sig ... end