package frama-c

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

Parameters

module Field : Field.S

Signature

type scalar = Field.scalar
type ('n, 'm) matrix
type 'n vector = ('n, Nat.zero Nat.succ) matrix
module Vector : sig ... end
module Matrix : sig ... end
OCaml

Innovation. Community. Security.