# Documentation

ChoiceStore c => StrategyT c CTC | |

Monad s => Monad (CTC s) | |

MonadPlus s => MonadPlus (CTC s) | |

Enumerable s => Enumerable (CTC s) | |

(MonadPlus m, Enumerable m) => CFLP (CTC (Monadic (UpdateT (StoreCTC ()) m))) | |

(MonadPlus m, Enumerable m) => CFLP (CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) m))))) |

callTimeChoice :: Monad s => s c -> CTC s (StoreCTC c)Source