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

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

val pretty : Format.formatter -> 'n vector -> unit

val zero : 'n Nat.succ Nat.nat -> 'n Nat.succ vector

val repeat : scalar -> 'n Nat.succ Nat.nat -> 'n Nat.succ vector

val base : 
  'n Nat.succ Finite.finite ->
  'n Nat.succ Nat.nat ->
  'n Nat.succ vector

val set : 'n Finite.finite -> scalar -> 'n vector -> 'n vector

val size : 'n vector -> 'n Nat.nat

val norm : 'n vector -> scalar