Up – Package index » coq-lsp » Sources » coq-lsp.coq » limits_mp_impl.mlSource file limits_mp_impl.ml coq-lsp CHANGES README Library Astdump_plugin Library Count_genargs_plugin Library Example_plugin Library Explain_errors Library Goaldumpl_plugin Library Savevo_plugin Library Unidiff_plugin Library coq-lsp.coq Library coq-lsp.fleche Library coq-lsp.lang Library coq-lsp.layout-printer Library coq-lsp.lsp Library coq-lsp.petanque Library coq-lsp.plugin Library coq-lsp.request Library coq-lsp.serlib Library fleche_waterproof Library petanque_json Library petanque_shell Library serlib_btauto Library serlib_cc Library serlib_extraction Library serlib_firstorder Library serlib_funind Library serlib_ltac Library serlib_ltac2 Library serlib_ltac2_ltac1 Library serlib_micromega Library serlib_micromega_core Library serlib_number_string_notation_plugin Library serlib_ring Library serlib_ssr Library serlib_ssrmatching Library serlib_tauto Library serlib_zify Sources Astdump_plugin Count_genargs_plugin Example_plugin Explain_errors Goaldumpl_plugin Savevo_plugin Unidiff_plugin coq-lsp.coq coq-lsp.fleche coq-lsp.lang coq-lsp.layout-printer coq-lsp.lsp coq-lsp.petanque coq-lsp.request coq-lsp.serlib fleche_waterproof petanque_json petanque_shell serlib_btauto serlib_cc serlib_extraction serlib_firstorder serlib_funind serlib_ltac serlib_ltac2 serlib_ltac2_ltac1 serlib_micromega serlib_micromega_core serlib_number_string_notation_plugin serlib_ring serlib_ssr serlib_ssrmatching serlib_tauto serlib_zify 1
2
3
4
5
6
7
8
9
10
11
12
13
14
# 1 "coq/limits_mp_impl.fake.ml"
module Token = struct
type t = unit
let create ( ) = ( )
let set ( ) = ( )
let is_set ( ) = false
end
let start ( ) = ( )
let limit ~token: _ ~ f x = Result . Ok ( f x )
let name ( ) = "memprof-limits (fake)"
let available = false