package fix

  1. Overview
  2. Docs
type property
val leq : property -> property -> bool
val join : property -> property -> property
OCaml

Innovation. Community. Security.