package ocaml-logicalform

  1. Overview
  2. Docs

Module LogicalForm.Index

type nonzero_sign =
  1. | Pos
  2. | Neg
val nonzero_sign_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> nonzero_sign
val sexp_of_nonzero_sign : nonzero_sign -> Ppx_sexp_conv_lib.Sexp.t
module type I = sig ... end
module Make (T : IdBase.BASE) : I with module T = IdBase.Make(T)