package ocaml-logicalform

  1. Overview
  2. Docs
type nonrec t = {
  1. var_prefix : string;
  2. true_string : string;
  3. false_string : string;
  4. _not_ : string;
  5. _and_ : string;
  6. _or_ : string;
}
val default : t
OCaml

Innovation. Community. Security.