1. camlspotter
  2. ocaml-llvm-phantom

Source

ocaml-llvm-phantom / _oasis

OASISFormat: 0.2
Name:        ocaml-llvm-phantom
Version:     2.8.0
Synopsis:    OCaml LLVM API enhanced with some static phantom typing
Authors:     Jun FURUSE
License:     LGPL-2.0 with OCaml linking exception
Plugins:      StdFiles (0.2)
BuildType:    Custom (0.2)
InstallType:    Custom (0.2)
XCustomBuild: yes no | omake --install; omake
XCustomInstall: omake install
XCustomUninstall: omake uninstall
BuildTools: omake

Library planck
  Path:          lib
  FindlibName:   ocaml-llvm-phantom
  BuildDepends:  spotlib (>= 1.0.0), monad-custom (>= 6.0.0), ocaml-llvm (>= 2.8)
  Modules:       
   Extension,
   Context,
   Type_intf,
   Type,
   Type_ctxt,
   Value_intf,
   Value,
   Gep,
   Value_ctxt,
   Module_intf,
   Module,
   Build_intf,
   Build,
   Wrap_intf,
   Wrap,
   Genvalue,
   Std