package ocaml-logicalform

  1. Overview
  2. Docs
module type Executable = sig ... end
module type NeedsValidation = sig ... end
module type Conjunctable = sig ... end
module type Disjunctable = sig ... end
module type Negatable = sig ... end