module Register: sig .. end
sig
end
val syntactic : unit -> unit
unit -> unit
val value : unit -> unit
val main : unit -> unit