package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val look_for_possibly_mutual_statements : Evd.evar_map -> ('a * (EConstr.t * 'b)) list -> (bool * int list list * 'c option) option * ('a * (EConstr.t * 'b)) list * int list option
OCaml

Innovation. Community. Security.