object method arity : int method compute : Wp.Lang.F.term list -> Wp.Lang.F.term method descr : string method filter : Wp.Lang.F.term list -> bool method group : string method id : string method title : string end