package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Solver library for opam 2.4

Install

md5=6a0c8a0b5e33757c962dde7c0c5bfce7

sha512=cc4eb75ee1f0c5dc020e5d07dc2b7f7b0a5ccd8182ff1b799bce15c024f86eb5c97eb194bdb838d107d634e8f0073e2de098d343eab1779038deeeed5abd5879

Cudf criteria helpers

Sourcetype filter =

Sourcetype property = string option

Sourcetype sign =

Sourcetype criterion = sign * filter * property

Sourceval criterion_to_string : criterion -> string

Sourceval of_string : string -> criterion list

of_string s Parses the string s as a CUDF optimization criteria.