primitives.mli 141 Bytes
Newer Older
charguer's avatar
charguer committed
1 2 3 4 5 6 7

(** This module contains information for properly handling 
    OCaml builtin functions and Coq builtin functions and
    data types. *)