Module Protocol.MakeBaseNode

Functor that receives the wrapper V, and constructs implementation for several operations of a node, without the user having to implement them by hand.

Parameters

module V : V

Signature

module Unique : Simulator.Unique.Unique with type v = V.v
val compare : ('a, 'b) template -> ('c, 'd) template -> int
val state : ('a, 'b) template -> 'b
val state_id : ('a, Unique.v) template -> int
val parameters : unit -> string