module Pres_intf: sig .. end
sig
end
Interface to parameterized resizable arrays
module type T = sig .. end