Module Rte.T


module T: Datatype.Triple(State)(Datatype.Function(KF)(State))(Datatype.Function(KF)(Datatype.Bool))

include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x and copy x.