Lines Matching refs:list
5 'a * HOLPP.pretty list -> ('b * ('a * HOLPP.pretty list)) option
21 val mapp : ('a -> ('b,unit) t) -> 'a list -> ('b, unit) t
22 val mmap : ('a -> ('b,'c) t) -> 'a list -> ('b, 'c list) t
23 val pr_list : ('b -> ('a,unit)t) -> ('a,unit) t -> 'b list -> ('a,unit)t
24 val mappr_list : ('b -> ('a,'c)t) -> ('a,unit) t -> 'b list -> ('a,'c list) t
37 ustyle : PPBackEnd.pp_style list -> ('a,unit) t -> ('a,unit) t}
41 val backend_style : PPBackEnd.t -> PPBackEnd.pp_style list ->