package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Space.Vector`

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