sig
  type t
  type term
  type location
  val clause :
    ?loc:Ast_iCNF.Statement.location ->
    Ast_iCNF.Statement.term list -> Ast_iCNF.Statement.t
  val assumption :
    ?loc:Ast_iCNF.Statement.location ->
    Ast_iCNF.Statement.term list -> Ast_iCNF.Statement.t
end