jon.recoil.org

Parameter Solver.D

type t
val equal : D.t -> D.t -> bool
val bot : D.t