Up – Package index » doc » Library alt-ergo-lib » AltErgoLib » Cnf

Module `AltErgoLib.Cnf`Source

val make : 
  Commands.sat_tdecl list ->
  (int Typed.tdecl, 'a) Typed.annoted ->
  Commands.sat_tdecl list

val make_list : 
  (int Typed.tdecl, 'a) Typed.annoted list ->
  Commands.sat_tdecl list