Rdf.Stubsval sha1 : (string -> string) refval sha256 : (string -> string) refval pcre_replace :
(flags:Pcre.cflag list -> pat:string -> templ:string -> string -> string) refval pcre_pmatch : (flags:Pcre.cflag list -> pat:string -> string -> bool) ref