module T: Datatype.Triple(State)(Datatype.Function(KF)(State))(Datatype.Function(KF)(Datatype.Bool))
Datatype.Triple
(
State
)
Datatype.Function
KF
Datatype.Bool
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Datatype.t -> Datatype.t
x
copy x