package encoding

  1. Overview
  2. Docs
val v : int -> t
val sym : string -> t
val not : t -> t
val (=) : t -> t -> t
val (>) : t -> t -> t
val (>=) : t -> t -> t
val (<) : t -> t -> t
val (<=) : t -> t -> t
OCaml

Innovation. Community. Security.