CHLanguage.procedure_int
method getBindings : bindings_t
method getBody : code_int
method getName : symbol_t
method getScope : scope_int
method getSignature : signature_t
method setBody : code_int -> unit
method toPretty : CHPretty.pretty_t