sig
  type 'constructor t = {
    name : string;
    rank : int;
    constructor : 'constructor;
  }
end