CurryInfo: currydoc-5.0.0 / CurryDoc.Data.AnaInfo: all operations

complete ext functionName getCompleteInfo getFunctionInfo getIndetInfo getNondetInfo getOpCompleteInfo indet nondet opComplete precedence property readAnaInfo unqualify