Frama-C API - `Box`

type !'n t = {

}

val make : 'n Nat.succ Linear.Space(K).vector -> 'n Nat.succ Linear.Space(K).vector -> 'n Nat.succ t

val point : 'n Nat.succ Linear.Space(K).vector -> 'n Nat.succ t

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

val pretty : 'n Nat.succ t Pretty_utils.formatter

val bounds : 'n t -> 'n Linear.Space(K).vector * 'n Linear.Space(K).vector

val lower : 'n t -> 'n Linear.Space(K).vector

val upper : 'n t -> 'n Linear.Space(K).vector

val is_included : 'n t -> 'n t -> bool

val (+) : 'n t -> 'n t -> 'n t

Frama-C API - Box