Module C6.M

Parameters

module C : CORE with type 'a V.userdata' = 'a userdata'

Signature

val init : C.V.state -> unit