val id: ('s, 't) RecommTypes.astep

val register: ('s, 't) RecommTypes.astep ref -> ('s, 't) RecommTypes.astep -> unit