package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type oracle

val empty : oracle

val oracle_order : 
  ('a -> Names.constant) ->
  oracle ->
  bool ->
  'a Names.tableKey ->
  'a Names.tableKey ->
  bool

type level =

val transparent : level

val is_transparent : level -> bool

val get_strategy : oracle -> Names.constant Names.tableKey -> level

val set_strategy : oracle -> Names.constant Names.tableKey -> level -> oracle

val fold_strategy : 
  (Names.constant Names.tableKey -> level -> 'a -> 'a) ->
  oracle ->
  'a ->
  'a

val get_transp_state : oracle -> Names.transparent_state