Page
Library
Module
Module type
Parameter
Class
Class type
Source
Types.MakeSourceget_att atts name returns the value associated to given attribute, if any.
opt_att atts ?def name returns the value associated to given attribute, or the default value specified by ?def. If def is not specified, P.default_attr_value is used.
atts_of_list list returns a attributes structure from the given list of pairs (name, value) ; (name, value) ; ....
atts_one ?atts name value is like atts_of_list but for one attribute.
atts_remove name attributes removes the binding to name from the attributes.
atts_replace name value attributes adds a new bindings from name to value in attributes. If name was previously bound, the previous binding is removed.