comparison cpack/dml/lib/optutils @ 0:718306e29690 tip

commiting public release
author Daniel Wolff
date Tue, 09 Feb 2016 21:05:06 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:718306e29690
1 :- module(optutils, [option_default_select/4]).
2
3 option_default_select(Option,Default,O1,O2) :- select_option(Option,O1,O2,Default).