sig val definitions : Definitions.t val search : bool Pervasives.ref val search_frame : bool Pervasives.ref val full_text : bool Pervasives.ref val register : unit -> unit end