package metapp
type sig_type = {id : Ident.t;decl : Types.type_declaration;rec_status : Types.rec_status;visibility : visibility;
}val sig_type : sig_type -> Types.signature_itemval destruct_sig_type : Types.signature_item -> sig_type optiontype sig_type = {id : Ident.t;decl : Types.type_declaration;rec_status : Types.rec_status;visibility : visibility;}val sig_type : sig_type -> Types.signature_itemval destruct_sig_type : Types.signature_item -> sig_type option