package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

sha256=9c1cbffd28bb33c17a668107e39c96e4ae7378a3d8249f69b47afc7ee964e9b8

The linear space in which the systems are defined.

type scalar = K.scalar

type ('n, 'm) matrix

type 'n vector = ('n, Nat.zero Nat.succ) matrix

module Vector : sig ... end

module Matrix : sig ... end