Module CustomPlugin.DocSource

Sourceval main : ctxt:OASISContext.t -> t -> 'a -> (OASISTypes.common_section * 'b) -> string array -> unit
Sourceval clean : ctxt:OASISContext.t -> t -> 'a -> (OASISTypes.common_section * 'b) -> string array -> unit
Sourceval distclean : ctxt:'a -> t -> 'b -> 'c -> string array -> unit