package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val make_red_flag : 'a Genredexpr.red_atom list -> 'a Genredexpr.glob_red_flag
val all_flags : 'a Genredexpr.glob_red_flag

Mapping red_expr_gen

val map_red_expr_gen : ('a -> 'd) -> ('b -> 'e) -> ('c -> 'f) -> ('a, 'b, 'c) Genredexpr.red_expr_gen -> ('d, 'e, 'f) Genredexpr.red_expr_gen
OCaml

Innovation. Community. Security.