1 2 3 4
val register: UTF8.t -> (ScTypes.types list -> ScTypes.types) -> unit val eval: UTF8.t -> ScTypes.types list -> ScTypes.types