Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Phrase.Internaltype r64 = {subj_adj : Word.Adjective.t;subj_noun : Word.Noun.t;verb : Word.Verb.t;obj_adj : Word.Adjective.t;obj_noun : Word.Noun.t;obj_loc : Word.Location.t;}include Prelude.TESTABLE with type t := tval pp : Format.formatter -> t -> unit