val register: UTF8.t -> (ScTypes.types list -> ScTypes.types) -> unit

val eval: UTF8.t -> ScTypes.types list -> ScTypes.types