annotate src/config.sig @ 2219:ff38b3e0cdfd

Add interface to UnionFind.
author Ziv Scully <ziv@mit.edu>
date Mon, 24 Nov 2014 20:41:24 -0500
parents c414850f206f
children
rev   line source
adamc@378 1 signature CONFIG = sig
ezyang@1739 2 val builddir : string
ezyang@1739 3
adamc@378 4 val bin : string
ezyang@1739 5 val srclib : string
adamc@378 6 val lib : string
adamc@378 7 val includ : string
adamc@378 8 val sitelisp : string
adamc@378 9
adam@1474 10 val ccompiler : string
adam@1523 11 val ccArgs : string
adam@1368 12 val openssl : string
adam@1464 13
adam@1464 14 val pgheader : string
adam@1464 15 val msheader : string
adam@1464 16 val sqheader : string
adam@1520 17
adam@1520 18 val versionNumber : string
adam@1520 19 val versionString : string
adam@1528 20
adam@1528 21 val pthreadCflags : string
adam@1528 22 val pthreadLibs : string
adamc@378 23 end