Source file abox.ml

1
2
3
4
include Domain.Make(struct
  type t = Box.t
  let man = Box.manager_alloc ()
end)