package frama-c

  1. Overview
  2. Docs

doc/frama-c.kernel/Frama_c_kernel/Indexer/Make/argument-1-E/index.html

Parameter Make.E

type t
val compare : t -> t -> int
OCaml

Innovation. Community. Security.