msat 0.2

Libraries

This package provides the following libraries (via ocamlobjinfo):

msat

Documentation:

• Backend_intf Knowledge that the middle end needs about the backend.
• Either Either type.
• Hashcons
• Hstring
• Sparse_vec
• Vec
• Iheap
• Msat