package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val term : CnfTypes.term -> string
val clause : ?fin:string -> CnfTypes.clause -> string
val formule : ?fin:string -> ?sep:string -> CnfTypes.formule -> string