Probe (cooltt.Core.Refiner.Probe)

val probe_chk : string option -> Tactic.Chk.tac -> Tactic.Chk.tac

val probe_boundary : Tactic.Chk.tac -> Tactic.Chk.tac -> Tactic.Chk.tac

val probe_syn : string option -> Tactic.Syn.tac -> Tactic.Syn.tac

val probe_goal_chk : 
  ((Ident.t * S.tp) list -> S.tp -> unit RM.m) ->
  Tactic.Chk.tac ->
  Tactic.Chk.tac

val probe_goal_syn : 
  ((Ident.t * S.tp) list -> S.tp -> unit RM.m) ->
  Tactic.Syn.tac ->
  Tactic.Syn.tac

val try_with_boundary : 
  Tactic.Chk.tac ->
  (S.t -> Tactic.Chk.tac) ->
  Tactic.Chk.tac