sig
val
mk_origin : unit
->
origin
end