package oasis
Module OASISFeaturesSource
Source
type t = {name : string;plugin : OASISTypes.all_plugin option;publication : publication;description : unit -> string;
}