avsm/signpost — comment on commit 24efef821aecc60ffa64512f2886bb43dda3cde0
File:  line 0
By AndriusA:

Quite possibly.

Although are you passing reqs by reference then? As you would also want to
keep track of requirements satisfied.

On Wed, Feb 1, 2012 at 10:03 PM, Sebastian Probst Eide <
reply@reply.github.com
> wrote:

> And, just for the record, this is very much a somewhat hacky solution,
> just to get up to speed with OCaml, and prototyping an interface for the
> tactics.
>
> It seems like:
>
> A tactic signature of:
>
> connection_via : a -> a -> a -> reqs -> (a * a)
> and:
> direct_connecytion : a -> a -> reqs -> (a * a)
>
> could work quite well.
> `a` in this case is the equivalent of the type addressable above.
>
> We can discuss tomorrow or whenever.
>
> ---
> Reply to this email directly or view it on GitHub:
>
> https://github.com/avsm/signpost/commit/24efef821aecc60ffa64512f2886bb43dda3cde0#commitcomment-924229
>