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