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