Lines Matching defs:create
46 val create: unit -> 'a ptable
57 fun create () = (hash 10, mutex())
77 val fixTable = create() and sigTable = create() and valTable = create()
78 and typTable = create() and fncTable = create() and strTable = create()
238 (* Used to create a sequence no for PTdefId properties. This can be used in an IDE
830 val timeStampTable: timeStamp ptable = create()
831 and dependencyTable: string list ptable = create()
1722 val fixTab = ProtectedTable.create() and sigTab = ProtectedTable.create()
1723 and valTab = ProtectedTable.create() and typTab = ProtectedTable.create()
1724 and fncTab = ProtectedTable.create() and strTab = ProtectedTable.create()
2165 fn (_, nil) => raise Fail "Cannot create an empty module"