val evaluate : t -> boolval to_string : t -> stringval print_description : subfunctions:bool -> Format.formatter -> t -> unitval evaluate : t -> boolval to_string : t -> stringval print_description : subfunctions:bool -> Format.formatter -> t -> unit