package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val size : 'a -> int
val size_b : 'a -> int
val size_kb : 'a -> int
val register_shared_size : 'a -> unit
val shared_size_of_obj : 'a -> int
val shared_size_of_pos : int list -> int
val obj_stats : 'a -> int * int * int
val heap_size : unit -> int
val heap_size_kb : unit -> int