Lines Matching refs:list
44 allVal: unit -> (string*values) list,
45 allType: unit -> (string*typeConstrSet) list,
46 allFix: unit -> (string*fixStatus) list,
47 allStruct: unit -> (string*structVals) list,
48 allSig: unit -> (string*signatures) list,
49 allFunct: unit -> (string*functors) list
56 type exportTree = location * ptProperties list
62 nameSpace * (unit->char option) * Universal.universal list ->
64 { fixes: (string * fixStatus) list, values: (string * values) list,
65 structures: (string * structVals) list, signatures: (string * signatures) list,
66 functors: (string * functors) list, types: (string * typeConstrSet) list }) option