CLEAN: Specifically document options arguments.

Author: wouterbeek

prolog/dot.pl

@@ -61,7 +61,7 @@
 
 
 %! dot_arc(+Out:stream, +FromTerm:term, +ToTerm:term) is det.
-%! dot_arc(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:dict) is det.
+%! dot_arc(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:options) is det.
 %
 % Emits an arc (directed edge) from one Prolog term to another in the
 % DOT language.
@@ -87,7 +87,7 @@
 
 
 %! dot_arc_id(+Out:stream, +FromId:atom, +ToId:atom) is det.
-%! dot_arc_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:dict) is det.
+%! dot_arc_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:options) is det.
 %
 % Emits a directed edge or arc from one DOT ID to another in the DOT
 % language.
@@ -137,7 +137,7 @@
 
 
 
-%! dot_attributes(+Options:dict, -String:string) is det.
+%! dot_attributes(+Options:options, -String:string) is det.
 
 dot_attributes(options{}, "") :- !.
 dot_attributes(Options, String) :-
@@ -156,7 +156,7 @@
 
 
 %! dot_cluster(+Out:stream, +Term:term, :Goal_1) is det.
-%! dot_cluster(+Out:stream, +Term:term, :Goal_1, +Options:dict) is det.
+%! dot_cluster(+Out:stream, +Term:term, :Goal_1, +Options:options) is det.
 
 dot_cluster(Out, Term, Goal_1) :-
   dot_cluster(Out, Term, Goal_1, options{label: Term}).
@@ -169,7 +169,7 @@
 
 
 %! dot_cluster_arc(+Out:stream, +FromTerm:term, +ToTerm:term) is det.
-%! dot_cluster_arc(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:dict) is det.
+%! dot_cluster_arc(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:options) is det.
 
 dot_cluster_arc(Out, FromTerm, ToTerm) :-
   dot_cluster_arc(Out, FromTerm, ToTerm, options{}).
@@ -182,7 +182,7 @@
 
 
 %! dot_cluster_arc_id(+Out:stream, +FromId:atom, +ToId:atom) is det.
-%! dot_cluster_arc_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:dict) is det.
+%! dot_cluster_arc_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:options) is det.
 
 dot_cluster_arc_id(Out, FromId, ToId) :-
   dot_cluster_arc_id(Out, FromId, ToId, options{}).
@@ -197,7 +197,7 @@
 
 
 %! dot_cluster_id(+Out:stream, +Id:atom, :Goal_1) is det.
-%! dot_cluster_id(+Out:stream, +Id:atom, :Goal_1, +Options:dict) is det.
+%! dot_cluster_id(+Out:stream, +Id:atom, :Goal_1, +Options:options) is det.
 
 dot_cluster_id(Out, Id, Goal_1) :-
   dot_cluster_id(Out, Id, Goal_1, options{}).
@@ -214,7 +214,7 @@
 
 
 %! dot_edge(+Out:stream, +FromTerm:term, +ToTerm:term) is det.
-%! dot_edge(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:dict) is det.
+%! dot_edge(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:options) is det.
 %
 % Emits an edge between two Prolog terms in the DOT language.
 %
@@ -240,7 +240,7 @@
 
 
 %! dot_edge_id(+Out:stream, +FromId:atom, +ToId:atom) is det.
-%! dot_edge_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:dict) is det.
+%! dot_edge_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:options) is det.
 %
 % Emits an edge between two DOT IDs in the DOT language.
 %
@@ -257,7 +257,7 @@
 
 
 %! dot_graph(+Out:stream, :Goal_1) is det.
-%! dot_graph(+Out:stream, :Goal_1, +Options:dict) is det.
+%! dot_graph(+Out:stream, :Goal_1, +Options:options) is det.
 %
 % @arg Options The following options are supported:
 %
@@ -374,7 +374,7 @@
 
 
 %! dot_node(+Out:stream, +Term:term) is det.
-%! dot_node(+Out:stream, +Term:term, +Options:dict) is det.
+%! dot_node(+Out:stream, +Term:term, +Options:options) is det.
 %
 % @arg Out is a handle to an output stream.
 %
@@ -413,7 +413,7 @@
 
 
 %! dot_node_id(+Out:stream, +Id:atom) is det.
-%! dot_node_id(+Out:stream, +Id:atom, +Options:dict) is det.
+%! dot_node_id(+Out:stream, +Id:atom, +Options:options) is det.
 %
 % @see dot_node/[2,3] allows nodes to be asserted for Prolog terms.
 

prolog/gv.pl

@@ -53,7 +53,7 @@
 % EXPORT/VIEW %
 
 %! gv_export(+File:atom, :Goal_1) is det.
-%! gv_export(+File:atom, :Goal_1, +Options:dict) is det.
+%! gv_export(+File:atom, :Goal_1, +Options:options) is det.
 %
 % @arg File is the name of the file to which the graph export is
 %      written.
@@ -106,7 +106,7 @@
 %!             -Format:gv_format,
 %!             -Type:gv_type,
 %!             -Method:gv_method,
-%!             -Options:dict) is det.
+%!             -Options:options) is det.
 
 gv_options_(Options0, DefaultFormat, Format, Type, Method, Options3) :-
   % Set default option values.
@@ -150,7 +150,7 @@
 
 
 %! gv_view(:Goal_1) is det.
-%! gv_view(:Goal_1, +Options:dict) is det.
+%! gv_view(:Goal_1, +Options:options) is det.
 %
 % Generate a GraphViz graph visualization and open the result in a
 % viewer application.