package ocaml-logicalform

  1. Overview
  2. Docs
type t
include Inspectable with type t := t
val to_pretty_string : ?style:Style.Infix.t -> t -> string
include Sexpable with type t := t
val to_pretty_sexp : ?style:Style.Prefix.t -> t -> Base.Sexp.t
val of_pretty_sexp : ?style:Style.Prefix.t -> Base.Sexp.t -> t