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

commiting public release
author Daniel Wolff
date Tue, 09 Feb 2016 21:05:06 +0100
parents
children
line wrap: on
line source
:- module(optutils, [option_default_select/4]).

option_default_select(Option,Default,O1,O2) :- select_option(Option,O1,O2,Default).